Raymond Smullyan on Self Reference
Melvin Fitting, Brian Rayman
₹6,792
First-Order Logic and Automated Theorem Proving
Springer Verlag · 1990
₹2,838
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
First-Order Logic and Automated Theorem Proving is written by Melvin Fitting. This edition from Springer Verlag (1990) has 242 pages. The book is part of the Texts and monographs in computer science series.
Its main subjects are Automatic theorem proving and Symbolic and mathematical Logic.
About the author: Melvin Fitting (born 1942).
Book details
- ISBN-13
- 9780387972336
- ISBN-10
- 0387972331
- Author
- Melvin Fitting
- Publisher
- Springer Verlag
- Author dates
- Melvin Fitting (born 1942)
- Published
- 1990
- Series
- Texts and monographs in computer science
- Edition
- 1
- Pages
- 242
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Melvin Fitting and related titles
Fundamentals of Generalized Recursion Theory
Melvin Fitting
₹3,125
Computability Theory
Melvin Fitting
₹3,253
Displacing Caravaggio
₹3,934
Digital Literacy
Stephen Currie
₹3,403
Color in Electronic Displays
David L. Post
₹15,367
Differential Equations
P. Mohana Shankar
₹4,048
Key 5G Physical Layer Technologies
Douglas H. Morais
₹3,291
Guide to Data Privacy
Vicenç Torra
₹2,474
A Practical Approach to Microarray Data Analysis
Daniel P. Berrar, Werner Dubitzky, Martin Granzow
₹4,365
Views on Phrase Structure
Katherine Leffel
₹10,094
Living and Dying on the Internet
Alex Day
₹3,781