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.
Θέματα:

Παρόμοια τεκμήρια