Lambda-conversion and logic
By: Adrian Rezus
Contributors: Rijksuniversiteit te Utrecht
Publisher: Drukkerij Elinkwijk
Published: 1981
Place of publication: Utrecht
Language: eng
Number of pages: 197
Subjects: Lambda calculus; Symbolic and mathematical Logic
Notes: Thesis (doctoral)--Rijksuniversiteit te Utrecht, 1981.

Bibliography: p. 190-196.