Combinators, l-terms and proof theory.
Series: Synthese library
Publisher: D. Reidel
Published: 1972
Place of publication: Dordrecht
Language: eng
Number of pages: 184
Subjects: Combinatory logic; Proof theory