Combinators, -terms and proof theory.

Saved in:
Bibliographic Details
Main Author: Stenlund, Soren
Format: Thesis Book
Language:English
Published: Dordrecht, D. Reidel [1972]
Series:Synthese library
Subjects:
Description
Item Description:Extra t.p. with thesis statement inserted.
Physical Description:184 p. 23 cm.
Bibliography:Bibliography: p. 177-180.
ISBN:9027703051