(Paperback)
By: Alonzo Church
ISBN: 9780691029061
Readership/Audience: Professional and Scholarly
Publication Date: Jan 1997
Publisher: Princeton University Press
See more...
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.
(Paperback)
By: Alonzo Church
ISBN: 9780691083940
Readership/Audience: Professional and Scholarly
Publication Date: Apr 1985
Publisher: Princeton University Press
See more...
The description for this book, The Calculi of Lambda Conversion. (AM-6), will be forthcoming.
