Journal of Logic, Language and Information

, Volume 7, Issue 2, pp 221–223

Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg

  • Harold Schellinx
Article
  • 210 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1998

Authors and Affiliations

  • Harold Schellinx
    • 1
  1. 1.Mathematisch InstituutUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations