Combinators, -terms and proof theory
Combinators, -terms and proof theory (Synthese library) Sören Stenlund,
Publisher: D. Reidel
ISBN: 9027703051
Edition: Unknown Binding; 1972
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.