Combinators, -terms and proof theory.
Series: Synthese library
Publisher: D. Reidel; D Reidel
Published: 1972
Place of publication: Dordrecht
Language: eng
Number of pages: 184
Subjects: Proof theory.; Combinatory logic.
Notes: Bibliography: p. 177-180.
Akademisk avhandling--Uppsala.
Extra t.p. with thesis statement inserted.