Proofs and Computations (Perspectives in Logic)
by Helmut Schwichtenberg, Stanley S. Wainer
ISBN 13: 9780521517690
Format: Hardcover (480 pages) Publisher: Cambridge University Press Published: 15 Dec 2011
Save for later
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
by
ISBN 13: 9780521054164
Format: Paperback (320 pages) Publisher: Cambridge University Press Published: 21 Jan 2008
ISBN 13: 9780521414135
Format: Hardcover (320 pages) Publisher: Cambridge University Press Published: 11 Feb 1993