The Logic of Provability
George S. Boolos, Boolos George S.
₹3,881
Computability and Logic
by George S. Boolos, Richard C. Jeffrey
Cambridge University Press · 1989
₹4,002
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Computability and Logic is written by George S. Boolos & Richard C. Jeffrey. This edition from Cambridge University Press (1989) has 314 pages. It first appeared in 1974.
The book deals with Computable functions, Recursive functions, Symbolic and mathematical Logic and Mathematical foundations.
Book details
- ISBN-13
- 9780521380263
- ISBN-10
- 052138026X
- Authors
- George S. Boolos, Richard C. Jeffrey
- Publisher
- Cambridge University Press
- Published
- 1989
- First published
- 1974
- Edition
- 3
- Pages
- 314
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by George S. Boolos and related titles
Computability and Logic
George S. Boolos, John P. Burgess, Richard C. Jeffrey
₹6,602
The Logic of Provability
George S. Boolos
₹2,921
Computability and Logic
George S. Boolos, John P. Burgess, Richard C. Jeffrey
₹4,974
Bootstrap Methods
CHERNICK
₹13,662
Medical Management of Thyroid Disease
Albert J. Marcella, Doug Menendez
₹2,341
Consciousness and Freedom
Donald A. Crosby
₹6,148
2018-2019 Basic and Clinical Science Course (BCSC), Section 3
₹3,346
Reviews of Environmental Contamination and Toxicology Volume 237
W.P. de Voogt
₹4,904
Research in Psychiatry
L. K. George Hsu, Michel Hersen
₹9,974
Causal Powers
HARRE, MADDEN
₹4,063
When did Antiquity End Archaeological case studies in three continents
Redha Attoui
₹2,923