O knihovně

Knihovna logiky v současnosti funguje jako jedna z knihovních sbírek, které obsluhuje Knihovna Celetná. Přístup ke knihám je zajištěn prostřednictvím online požadavků z centrálního vyhledávače UKAŽ, knihy samotné jsou vydávány v Knihovně Celetná.  

Fond knihovny pokrývá všechny aspekty logiky od klasické logiky, teorie množin a teoretické informatiky k neklasickým logikám, analytické filosofii, filosofii a historii matematiky a logiky nebo ke komputační lingvistice. Specifická část fondu je věnována rovněž historii a rozvoji české logiky.  

Užitečné informace