Výsledky vyhledávání
- *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM*
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. Berlin : Springer Verlag, 1985 . xxiii, 466 s. il. . ISBN 0-387-12173-0. ISBN 3-540-12173-0 - C 262.428
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická příruční sklad 1 0/0 0 0 
- *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM*
Der philosophische Beweis / Hans Klotz. Berlin : Deutscher Verlag der Wissenschaften, 1967 . 320 s. - C 65.282
Umístění:Pobočka Volné Nedostupné / Prezenčně Vypůjčené Rezervace Kde najdu? Lidická 1 0/0 0 0 - Q.E.D. : krása matematického důkazu / Burkard Polster ; [z anglického originálu ... přeložil Luboš Pick]. Praha : Dokořán, 2014 . 58 s. il. ; . ISBN 978-80-7363-532-9 (váz.) - C 356.272
Umístění: 51 - Matematika. Teoretická matematika - Úplnost a neúplnost / Kurt Gödel ; přeložila Blažena Švandová ; předmluva Vítězslav Švejdar. Kanina : OPS ; Plzeň : Vydavatelství Západočeské univerzity v Plzni, 2015 . 135 s. . ISBN 978-80-87269-39-8. ISBN 978-80-261-0305-9 - C 367.346
Umístění: 51 - Matematika. Teoretická matematika