Proof Theory

      Research / Miscellaneous

• Logic as a Theory of Information Processing: Proof Theory
  Dalla home-page del CSLI.

• Proof Theory and Computation
  Articoli sull'argomento di J. Harland

• Esprit Working Group Gentzen
  Pagina del gruppo di ricerca

• Proof Theory and Foundations of Non-classical Logic
  Pagina del gruppo di ricerca

• Proof Theory and Programming Languages

• Home-page of A. S. Troelstra

      Reviews / On-Line Publications

      Related Fields

Foundations of Mathematics

	Logic and Philosophy
	Logic and Mathematics
	Logic and Computer Science
	General Resources