Proof theory symposion /

Bibliographic Details
Corporate Author: International Summer Institute and Logic Colloquium Kiel
Other Authors: Diller, Justus (ed.), Müller, Gert Heinz, 1923- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1975.
Series:Lecture notes in mathematics ; v. 500
LNM ; v. 500
Subjects:

MARC

LEADER 00000nam a2200000 4500
003 AR_CdUFM
005 20160908123132.0
008 131203s1975 gw ||||| |||| 00| 0 eng d
020 |a 354007533X 
020 |a 038707533X 
040 |a AR_CdUFM  |c AR_CdUFM 
111 2 |a International Summer Institute and Logic Colloquium   |d (1974 :   |c Kiel) 
245 1 0 |a Proof theory symposion /   |c ed. Justus Diller, Gert H. Müller. 
260 |a Berlin :   |b Springer,   |c 1975. 
300 |a 383 p. ;  |c 26 cm. 
490 0 |a Lecture notes in mathematics ;   |v v. 500 
490 0 |a LNM ;  |v v. 500 
500 |a Dedicated to Schütte Kurt on the occasion of his 65th birthdat. 
650 4 |a Lógica matemática. 
700 1 |9 4222  |a Diller, Justus,   |e ed. 
700 1 |9 12024  |a Müller, Gert Heinz,   |e ed.  |d 1923-, 
942 |c LIBRO  |2   
945 |a MB 
952 |0 0  |1 0  |2    |4 0  |6 M_LNM_V__500_000000000000000  |7 0  |9 9609  |a MMA  |b MMA  |c LN  |d 2008-06-09  |l 0  |o M LNM v. 500   |p 06775  |r 2014-02-12 00:00:00  |y LIBRO 
999 |c 7385  |d 7385