Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43),Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Basic Concepts of String Theory (Theoretical and Mathematical Physics): Blumenhagen, Ralph, Lüst, Dieter, Theisen, Stefan: 9783642294969: Amazon.com: ,Birkhäuser Advanced Texts Basler Lehrbücher Ser.: Measure Theory : Second Edition by Donald L. Cohn (2013, Hardcover) for sale online | eBay,Numerical Analysis, 2nd Edition