Foundations of constructive mathematics : metamathematical studies /

Κύριος συγγραφέας: Beeson, Michael J., 1945-
Μορφή: Βιβλίο
Γλώσσα: English
Στοιχεία έκδοσης: Berlin : Springer-Verlag, 1985
Σειρά: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3
Ταξινομικός αριθμός: 511.3 BE
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Φυσική περιγραφή: xxiii, 466 p. : ill. ; 25 cm.
Βιβλιογραφία: Includes bibliography and indexes.
ISBN: 3540121730