Jump to main content

yr 〜
yr

Search results 2

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. (Lecture notes in mathematics ; 499)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff. (Lecture notes in mathematics ; 499)
Paper図書
Springer-Verlag1975.<MA41-97>
National Diet Library
  • Author HeadingInternational Summer Institute and Logic Colloquium, University of Kiel, 1974. Müller, G. H. (Gert Heinz) , ...

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller. (Lecture notes in mathematics ; 500)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller. (Lecture notes in mathematics ; 500)
Paper図書
Springer-Verlag1975.<MA41-98>
National Diet LibraryOther Libraries in Japan
  • Author Heading...Heinz) , 1923- International Summer Institute and Logic Colloquium, University of Kiel, 1974.

Reached to the end of result.

RSS