Výsledky vyhledávání
- An introduction to formal logic / Peter Smith . Cambridge : Cambridge University Press, 2003 . viii, 357 s . ISBN 978-0-521-00804-4 (dotisk : brož.) . [1, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0 kniha
- An introduction to Gödel's theorems / Peter Smith . Cambridge : Cambridge University Press, 2013 . xvi, 388 s . ISBN 978-1-107-60675-3 (brož.). ISBN 978-1-107-02284-3 (váz.) . [1, z toho volných 1]
Pobočka Prezenčně Volné Vypůjčené Rezervované Univerzitní knihovna UHK 0 1 0 0 
kniha