Combinators, terms and proof theory
Stenlund, S.
Combinators, terms and proof theory by S. Stenlund - Holland D. Reidel Publishing Company 1972 - 184 p.
Logic
Symbotic and Mathematical
164 / S 825 C
Combinators, terms and proof theory by S. Stenlund - Holland D. Reidel Publishing Company 1972 - 184 p.
Logic
Symbotic and Mathematical
164 / S 825 C