Search results
- 100 úloh o množinách : úlohy k základům logiky a množinové algebry . V Českých Budějovicích : Krajský pedagogický ústav, 1969 . 38 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 
book
- Begriffsschrift und andere Aufsätze / Gottlob Frege ; mit E. Husserls und H. Scholz' Anmerkungen ; herausgegeben von Ignacio Angelelli . Hildesheim : Olms, 1998 . 124 s . ISBN 3-487-00623-5 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey . Cambridge : Cambridge University Press, c2002 . xi, 356 s . ISBN 0-521-00758-5 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- The concept of logical consequence / John Etchemendy . Stanford : Center for the Study of Language and Information, 1999 . 174 s . ISBN 1-57586-194-1 . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Course of mathematical logic. Volume 1, Relation and logical formula Synthese library . Boston : Reidel, c1973 . xvi, 186 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Course of mathematical logic. Volume 2, Model theory Synthese library . Boston : Reidel, c1974 . xix, 191 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Čísla přírody : neskutečná skutečnost matematické představivosti . Bratislava : Archa, 1996 . 167 s . ISBN 80-7115-119-X : . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Einführung in die mathematische Logik - Einführung in die mengenlehre - Aufbau der Zahlenbereiche . Berlin : Volk und Wissen Volkseigener Verlag, 1972 . 327 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- (model theory) . Amsterdam : North-Holland, 1967 . 221 s [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- Elemments of mathematical logic and set theory : Jerzy Slupecki, Ludwik Borkowski . Warszawa : Polskie Wydawnictwo Muzyczne, c1967 . 349 s . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book