First-Order Logic and Automated Theorem Proving
Melvin Fitting
₹2,838
Fundamentals of Generalized Recursion Theory
Elsevier Science Ltd · 1981
₹3,125
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹2,844 for this book (save ₹281).
9% off every book, up to ₹500 off per order.
About this book
It belongs to the Studies in logic and the foundations of mathematics series.
Its main subjects are Recursion theory and Recursive functions.
About the author: Melvin Fitting (born 1942).
Book details
- ISBN-13
- 9780444861719
- ISBN-10
- 0444861718
- Author
- Melvin Fitting
- Publisher
- Elsevier Science Ltd
- Author dates
- Melvin Fitting (born 1942)
- Published
- 1981
- Series
- Studies in logic and the foundations of mathematics
- Pages
- 308
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Material
More by Melvin Fitting and related titles
Computability Theory
Melvin Fitting
₹3,253
Raymond Smullyan on Self Reference
Melvin Fitting, Brian Rayman
₹6,792
Elementary Statistics
Neil A. Weiss
₹6,491
Manual of Pelvic Surgery
Maurice J. Webb
₹10,078
Holograms
Sean F. Johnston
₹8,292
Political Trials in Ancient Greece
Richard A. Bauman
₹15,747
Prenatal Medicine
Steven B. Kayne
₹3,132
The Ordeal of Captain Roeder
Helen Roeder
₹3,426
Armed Group Structure and Violence in Civil Wars the Organizational Dynamics of Civilian Killing (hb 2015)
Haer R.
₹13,960
Max Weber and His Contemporaries
Wolfgang J. Mommsen, Jürgen Osterhammel
₹3,358
The Body/Body Problem
Arthur C. Danto
₹3,404