
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,

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

Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides): Bell, John L.: 9780199609161: Amazon.com: Books,

Pure Theory of Law. English Translation, 2d Revised and Enlarged Ed by Hans. Max Knight Kelsen on The Lawbook Exchange, Ltd