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

Ejemplares similares

• 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 /
  por: Richter, Michael M., et al.
  Publicado: (1964)
• Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
  por: Kino, A., et al.
  Publicado: (1970)
• A proof theory for description logics /
  por: Rademaker, Alexandre
  Publicado: (2012)
• Proof theory : an introduction /
  por: Pohlers, Wolfram, et al.
  Publicado: (1964)