LC ’80 aneb jak jsme chtěli uspořádat konferenci
Logic Colloquium, ve zkratce LC, které pořádá mezinárodní organizace Association for Symbolic Logic, je jediná celoevropská a vlastně i celosvětová konference zabývající se matematickou logikou a příbuznými obory (teorie množin, rekurze, teorie modelů atd.). Koná se každý rok v létě v některé evropské zemi, pro jejíž vědecký svět … full description
Saved in:
Bibliographic Details
- Main Author
- Document Type
- Articles
- Physical Description
- 4 ilustrace
- Published in
- Paměť a dějiny. -- ISSN 1802-8241. -- Roč. 5, č. 3 (2011), s. 68-73
- Subjects
- Item Description
- Abstrakt © vydavatel