Shelfclass_id | 3.D.4 |
Sortkey | CHURCH, ALONZO |
Authors | Alonzo Church |
Title | The Calculi of Lambda-Conversion |
Publisher | H. Milford, Oxford University Press |
Year | 1941 |
Languages | eng |
Series | Annals of mathematical studies |
Volume | 6 |
Description | 2 p.l., ii, 77 p 23 cm |
Record date | 20060630 |
Location | London |
Keywords | Logic, Symbolic and mathematical, Recursive functions |
Notes | Lithoprinted |