Proof Theory: Second Edition (Dover Books on Mathematics) See more Second EditionSecond Edition,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Review of ,Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): Bell, John L.: 9780199609161: Amazon.com: Books,Book of Proof: Richard Hammack: 9780989472104: Amazon.com: Books