The Department of Logic Library is currently one of the library collections operated by the Celetná Library. Access to books is provided through online requests from the UKAŽ discovery service; the books themselves are available for pick-up at Celetná Library.
The library’s collection covers all aspects of logic, from classical logic, set theory, and theoretical computer science to non-classical logic, analytic philosophy, philosophy, and the history of mathematics and logic, and computational linguistics. A specific part of the collection is also devoted to the history and development of the study of logic in Czechia.
| Address | Celetná 20, 110 00 Prague 1, 1st floor, door no. 111 |
| Opening hours | Services of this library are provided by Celetná Library on the basis of a request in the discovery service UKAŽ. See Opening hours page. |
| Accepts overdue fines payment in cash? | NO |
| Contact | |
| liblogi@ff.cuni.cz | |
| Librarian | Mgr. Petr Schink |
| Consultant | doc. RNDr. Vítězslav Švejdar, CSc. |
