Troelstra, A. S
Basic proof theory
A.S. Troelstra, H. Schwichtenberg
- 2nd ed
- Cambridge Cambridge University Press 1996
- xi, 343 p. : ill. ; 24 cm.
Includes bibliographical references (p. 309-330) and index
521779111
96028596
Proof theory
511.3 TRO