ISBN 9789401029155 books & textbook

Combinators, λ-Terms and Proof Theory (Synthese Library)

Springer /2011-10-12 Paperback / 187 Pages
isbn-10: 9401029156 / isbn-13: 9789401029155