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),Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books,Book of Proof,Basic Number Theory (Grundlehren Der Mathematischen Wissenschaften Volume 144),