Article

Journal of Logic, Language and Information

, Volume 7, Issue 2, pp 221-223

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

  • Harold SchellinxAffiliated withMathematisch Instituut, Utrecht University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access