ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: International Summer Institute and Logic Colloquium University of Kiel
Άλλοι συγγραφείς: Müller, G. H. 1923- (Gert Heinz) (επιμελητής.), Oberschelp, Arnold (επιμελητής.), Potthoff, Karl (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
French
Έκδοση: Berlin ; New York : Springer-Verlag, 1975.
Σειρά:Lecture notes in mathematics (Springer-Verlag)
Θέματα:
LEADER 01708cam a2200361 i 4500
001 2217736
003 GR-PaULI
005 20241108063400.0
008 751126s1975 gw b 100 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 Π_Σ_511_300000000000000_INT  |7 0  |8 NFIC  |9 229891  |a LISP  |b LISP  |c REF  |d 2019-02-11  |i 138984  |l 0  |o Π/Σ 511.3 INT  |p 025000044138  |r 2019-02-11 00:00:00  |t 1  |v 2019.00  |w 2019-02-11  |y BK15 
999 |c 139580  |d 139580 
010 |a  75040481  
020 |a 0387075348 
020 |a 3540075348 
040 |a DLC  |c DLC  |d DLC  |b gre  |e AACR2 
041 0 |a eng  |a fre 
082 0 0 |a 511.3  |2 23 
111 |a International Summer Institute and Logic Colloquium  |d (1974 :  |c University of Kiel)  |9 173862 
245 1 0 |a ISILC Logic Conference :  |b proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /  |c edited by G. H. Müller, A. Oberschelp, K. Potthoff. 
260 |a Berlin ;  |a New York :  |b Springer-Verlag,  |c 1975. 
300 |a iv, 651 σ. ;  |c 25 εκ. 
490 1 |a Lecture notes in mathematics   |v 499. 
500 |a   
500 |a Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974. 
504 |a Περιλαμβάνει βιβλιογραφία. 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |a Müller, G. H.  |d 1923-  |q (Gert Heinz),  |e επιμελητής.  |9 174132 
700 1 |a Oberschelp, Arnold  |9 173863  |e επιμελητής. 
700 1 |a Potthoff, Karl  |9 173864  |e επιμελητής. 
740 |a Logic Conference. 
830 0 |a Lecture notes in mathematics (Springer-Verlag)   |9 161263 
942 |2 ddc  |c BKN 
998 |c ΜΠΟΥΡΑΣ  |d 2019-01