Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): Bell, John L.: 9780199609161: Amazon.com: Books,Basic Concepts of String Theory (Theoretical and Mathematical Physics): Blumenhagen, Ralph, Lüst, Dieter, Theisen, Stefan: 9783642294969: Amazon.com: ,Basic Proof Theory - A. S. Troelstra, H. Schwichtenberg - Google Books,Book of Proof