Search results
- An introduction to formal logic / Peter Smith . Cambridge : Cambridge University Press, 2003 . viii, 357 s . ISBN 978-0-521-00804-4 (dotisk : brož.) . [1, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 book
- 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, currently available 1]
Branch Inaccesible Available Issued Reserved Univerzitní knihovna UHK 0 1 0 0 
book