Number of the records: 1
On formally undecidable propositions of principia mathematica and related systems
Title statement On formally undecidable propositions of principia mathematica and related systems / Kurt Gödel ; translated by B. Meltzer ; introduction by R.B. Braithwaite Personal name Gödel, Kurt, 1906-1978 (author) Edition statement First published Publication New York : Dover Publications, 1992 Phys.des. viii, 72 stran ISBN 0-486-66980-7 (brožováno) Edition Dover books on mathematics Note Přeloženo z němčiny Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy Original Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I Another responsib. Meltzer, Bernard, 1916-2008 (translator) Braithwaite, R. B., 1900-1990 (author of introduction) Subj. Headings matematická logika mathematical logic * Gödelovy věty Gödel’s theorems Form, Genre učebnice vysokých škol textbooks (higher) Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , (075.8) Country Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3312 (PřF) 3134042673 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3312a (PřF) 3134042674 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1