(Paperback)
By: Alonzo Church
ISBN: 9780691029061
Copied!
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
Copied!
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.
This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.