Basic proof theory
By: A.S. Troelstra, H. Schwichtenberg.
Contributors: Schwichtenberg, Helmut, 1942-
Series: Cambridge tracts in theoretical computer science ;; 43
Publisher: Cambridge University Press
Published: 1996
Place of publication: Cambridge; New York
Language: eng
Number of pages: 343
Subjects: Proof theory.
Notes: Includes bibliographical references (p. 309-330) and index.