Proof Theory,Basic proof theory 2nd edition | Programming languages and applied logic | Cambridge University Press,Finite Model Theory: Second Edition (Springer Monographs in Mathematics): Ebbinghaus, Heinz-Dieter, Flum, Jörg: 9783540287872: Amazon.com: Books,19KB,Ramsey Theory, Second Edition: Graham, Ronald L.: 9781118799666: Amazon.com: Books