Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: Summer School in Mathematical Logic University of Leicester, Logic Colloquium
Άλλοι συγγραφείς: Crossley, John N. (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : North-Holland, 1967.
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:
LEADER 01449cam a22003011 4500
001 9885477
003 GR-PaULI
005 20210117210944.0
008 840508s1967 ne b 100 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_300000000000000_SUM  |7 0  |8 NFIC  |9 234817  |a LISP  |b LISP  |c REF  |d 2019-09-05  |i 37433  |l 0  |o Π/Σ 511.3 SUM  |p 025000039202  |r 2019-09-05 00:00:00  |t 1  |v 2019.00  |w 2019-09-05  |y BK15 
999 |c 142338  |d 142338 
010 |a  67021973  
020 |c 0444106960 
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.3  |2 23 
111 |a Summer School in Mathematical Logic  |d (1965 :  |c University of Leicester)  |9 177672 
245 1 0 |a Sets, models and recursion theory :  |b Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /  |c edited by John N. Crossley. 
260 |a Amsterdam :  |b North-Holland,  |c 1967. 
300 |a 340 σ. ;  |c 24 εκ. 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
650 4 |a Σύνολα, Θεωρία των  |9 316 
700 1 |a Crossley, John N.  |e επιμελητής.  |9 103129 
711 |a Logic Colloquium  |n (10th :  |d 1965 :  |c University of Leicester)  |9 177673 
830 0 |9 172249  |a Studies in logic and the foundations of mathematics 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-09