Introduction to Mathematical Logic
Alonzo Church
Princeton University Press, 1996
121,50 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780691029061
- ISBN-10
- 0691029067
- Publisher
- Princeton University Press
- Year
- 1996
- Publication date
- 1996-11-17
- Pages
- 392
- Dimensions
- 157x235x31
- Weight
- 624