Ask a question or
Order this book


Browse our books
Search our books
Book dealer info


STENLUND, S. - Combinators, lambda-terms and proof theory.

Title: Combinators, lambda-terms and proof theory.
Description: Dordrecht, Reidel, 1972. 184 pp. Cloth + dustjacket. (SL) owner's name, dustjacket a bit damaged, otherwise in good condition

Keywords: filosofie; logica; 46

Price: EUR 20.00 = appr. US$ 21.74 Seller: Antiquariaat Isis
- Book number: 629072

See more books from our catalog: Filosofie - Logica, kennistheorie, taal- en analytische filosofie