Basic proof theory /

Basic proof theory /

41

Bibliographic Details
Main Authors: Troelstra, A. S. (Anne Sjerp), Schwichtenberg, Helmut, 1942-
Format:
Language:eng
Published: Cambridge, UK : Cambridge University Press, 2006
Subjects:
Proof theory
Description
Summary:41

Similar Items