Basic Proof Theory,Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43): Troelstra, A. S., Schwichtenberg, H.: 9780521779111: Amazon.com: Books,Proof Theory: Second Edition (Dover Books on Mathematics): Takeuti, Gaisi: 9780486490731: Amazon.com: Books,Finite Model Theory: Second Edition (Springer Monographs in Mathematics): Ebbinghaus, Heinz-Dieter, Flum, Jörg: 9783540287872: Amazon.com: Books,Slanted 40: Experimental Type 2.0 – Draw Down