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): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: ,Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43),Measure Theory: Second Edition | SpringerLink,Book of Proof,Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): Bell, John L.: 9780199609161: Amazon.com: Books,