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.
Θέματα:
LEADER 01387cam a2200289 4500
001 1723829
003 GR-PaULI
005 20210117210828.0
008 740308s1973 gw a b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_360000000000000_MET  |7 0  |8 NFIC  |9 229878  |a LISP  |b LISP  |c REF  |d 2019-02-11  |i 138974  |l 0  |o Π/Σ 511.36 MET  |p 025000043914  |r 2019-02-11 00:00:00  |t 1  |v 2019.00  |w 2019-02-11  |y BK15 
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_360000000000000_MET  |7 0  |8 NFIC  |9 229879  |a LISP  |b LISP  |c REF  |d 2019-02-11  |i 138975  |l 0  |o Π/Σ 511.36 MET  |p 025000043913  |r 2019-02-11 00:00:00  |t 2  |v 2019.00  |w 2019-02-11  |y BK15 
999 |c 139571  |d 139571 
010 |a  73014239  
020 |a 0387064915  
020 |a 3540064915  
040 |a DLC  |c DLC  |d DLC  |b gre  |e AACR2 
082 0 0 |a 511.36  |2 23 
245 0 0 |a Metamathematical investigation of intuitionistic arithmetic and analysis /  |c A. S. Troelstra (ed.). 
260 |a Berlin ;  |a Heidelberg ;  |a New York :  |b Springer,  |c 1973. 
300 |a xvii, 486 σ. ;  |b    |c 24 εκ. 
490 1 |a Lecture notes in mathematics   |v 344. 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |9 122119  |a Troelstra, A. S.  |e επιμελητής.  |q (Anne Sjerp) 
830 0 |a Lecture notes in mathematics (Springer-Verlag)   |v 344.  |9 161263 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-01