, Volume 7, Issue 2, pp 221-223

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

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access