Intuitionism : an introduction

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Heyting, A. (Arend) 1898-
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Amsterdam : North-Holland Pub. Co., c1971, 1980
Έκδοση:3d rev. ed., Repr.
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000cam a2200000 i 4500
001 1/42176
008 941103s19711980 eng d
020 |a 0720422396 
035 |l 10041695 
035 |a 1987 
040 |a GR-MY-UA  |b gre  |e aacr 
041 0 |a eng 
082 0 |a 511.3 
100 1 |a Heyting, A. (Arend)  |d 1898- 
245 1 0 |a Intuitionism :  |b an introduction /  |c [by] A. Heyting 
250 |a 3d rev. ed., Repr. 
260 |a Amsterdam :   |b North-Holland Pub. Co.,   |c c1971, 1980 
300 |a viii, 147 p.;  |c 23 cm. 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Bibliography: p. [127]-141 
650 0 0 |a Intuitionistic mathematics. 
830 0 |a Studies in logic and the foundations of mathematics 
852 |a INST  |b SAMOS  |e 19941103  |h 511.3 HEY  |p 005300001796  |q 005300001796  |t BK  |y 0 
909 |a Σ  |b 008419