Intuitionistic logic, model theory and forcing /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Fitting, Melvin 1942- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : North-Holland, 1969.
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
LEADER 01062nam a2200253 u 4500
001 10119789
003 GR-PaULI
005 20210117205819.0
008 160406s1969 ne eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_340000000000000_FIT  |7 0  |8 NFIC  |9 192240  |a LISP  |b LISP  |c REF  |d 2016-04-24  |i 098265  |l 0  |o Π/Σ 511.34 FIT  |p 025000251422  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15 
999 |c 117855  |d 117855 
020 |a 0720422566 
040 |a GR-PaULI  |c GR-PaULI  |b gre  |e AACR2 
082 0 4 |a 511.34  |2 23 
100 1 |a Fitting, Melvin  |d 1942-  |4    |9 9277  |e συγγραφέας. 
245 1 0 |a Intuitionistic logic, model theory and forcing /  |c Melvin Chris Fitting. 
260 |a Amsterdam :  |b North-Holland,  |c 1969. 
300 |a 191 σ. ;  |c 24 εκ. 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Μαθηματικά μοντέλα  |9 2223 
830 0 |a Studies in logic and the foundations of mathematics  |9 172249 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2016-04