Počet záznamů: 1
Foundations of constructive mathematics
Údaje o názvu Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson Osobní jméno Beeson, Michael J., 1945- (autor) Nakladatel Berlin : Springer-Verlag, [1985] Copyright ©1985 Fyz.popis xxiii, 466 stran : ilustrace Edice Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Band 6 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii, bibliografické odkazy a rejstříky Předmět.hesla konstruktivní matematika constructive mathematics * matematická logika mathematical logic Forma, žánr monografie monographs Konspekt 510 - Obecné úvahy o matematice MDT 510.6 , 510.25 , (048.8) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info M1/3412 (PřF) 3134043065 PřF PřF, Knihovna Doba výp. 30 dní M1/3412a (PřF) 3134043066 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1