Number of the records: 1
Foundations of constructive mathematics
Title statement Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson Personal name Beeson, Michael J., 1945- (author) Publication Berlin : Springer-Verlag, [1985] Copyright notice date ©1985 Phys.des. xxiii, 466 stran : ilustrace Edition Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Band 6 Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstříky Subj. Headings konstruktivní matematika constructive mathematics * matematická logika mathematical logic Form, Genre monografie monographs Conspect 510 - Obecné úvahy o matematice UDC 510.6 , 510.25 , (048.8) Country Německo Language angličtina Document kind Books book
Call number Barcode Location Sublocation Info M1/3412 (PřF) 3134043065 PřF PřF, Knihovna Date due 30 days M1/3412a (PřF) 3134043066 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1