ISILC proof theory symposion: proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Similar Items

• ISILC logic conference: proceedins of the International Summer Institute and Logic Colloquium, Kiel 1974
• Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
  by: Richter, Michael M., et al.
  Published: (1964)
• Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
  by: Kino, A., et al.
  Published: (1970)
• A proof theory for description logics /
  by: Rademaker, Alexandre
  Published: (2012)
• Proof theory : an introduction /
  by: Pohlers, Wolfram, et al.
  Published: (1964)