|    Login    |    Register

Filter Results

  • Large print only
  • Audiobooks only

Found 2 items


(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.