Metamathematical investigation of intuitionistic arithmetic and analysis /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς: Troelstra, A. S. (Anne Sjerp) (επιμελητής.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; Heidelberg ; New York : Springer, 1973.
Σειρά:Lecture notes in mathematics (Springer-Verlag) 344.
Θέματα:

ΒΚΠ - Πατρα: Reference Shelf

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Reference Shelf
Ταξιθετικός Αριθμός: Π/Σ 511.36 MET
Αντίγραφο 1 Στη βιβλιοθήκη
Αντίγραφο 2 Στη βιβλιοθήκη