01692nam a22004457i 4500 000490649 CZ-PrVSE 20180608213737.0 ta 170428t20012001xxud fr 000 0 eng d 0-8147-5816-9 (brožováno) 978-0-8147-5837-3 ABA006 cze ABA006 ABA006 rda xxu xxk 510 Obecné úvahy o matematice Konspekt 13 511 General principles Conspectus 13 510.6 MRF_2003 (048.8) MRF_2003 510.6NAG Nagel, Ernest, 1901-1985 mzk2004148495 aut Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter Revised edition New York ; London : New York University Press, [2001] ©2001 129 stran : ilustrace text txt rdacontent bez média n rdamedia svazek nc rdacarrier Obsahuje bibliografii a rejstřík matematická logika ph122671 czenas Gödelovy věty ph920022 czenas monografie fd132842 czenas mathematical logic eczenas Gödel’s theorems eczenas monographs eczenas Newman, James Roy, 1907-1966 mzk2004148496 aut Hofstadter, Douglas R., 1945- mzk2004148497 edt aui 007780191 PKIZI F225752 N:P 3142302171 20170428 510.6NAG 83 46920 UEP01 BOOK KIZI DISLOK: Rauch, Jan - ISIS113 na dislokovaném UEP01 20170523