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 |
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
καταχωρήστε σχόλιο πρώτοι!