Author: STENLUND, S. 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