Sign in to your account or register new one to have full control over your orders, receive bonuses and more.
New customer? Register
Subtotal: 0.00
Total Items In Cart:
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.