
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: ,

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43),

Amazon.com: Language, Proof and Logic, 2nd Edition: 9781575866321: Barker-Plummer, David, Barwise, Jon, Etchemendy, John: Books,

Book of Proof,

Birkhäuser Advanced Texts Basler Lehrbücher Ser.: Measure Theory : Second Edition by Donald L. Cohn (2013, Hardcover) for sale online | eBay,