First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Melvin Fitting

$99.99

This product is not returnable.

Publication Date: June 26th, 2013

Publisher:

Springer

ISBN:

9781461275152

Pages:

326

Usually Ships in 1 to 5 Days

Description

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics.

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Description

Other Books in Series

Fundamentals of Digital Forensics: A Guide to Theory, Research and Applications (Texts in Computer Science)

Ethical and Social Issues in the Information Age (Texts in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Fundamentals of Image Data Mining: Analysis, Features, Classification and Retrieval (Texts in Computer Science)

Finite Difference Computing with Pdes: A Modern Software Approach (Texts in Computational Science and Engineering #16)

Guide to Industrial Analytics: Solving Data Science Problems for Manufacturing and the Internet of Things (Texts in Computer Science)

Introduction to Numerical Methods for Variational Problems (Texts in Computational Science and Engineering #21)

Foundational Java: Key Elements and Practical Programming (Texts in Computer Science)

Introduction to the Tools of Scientific Computing (Texts in Computational Science and Engineering #25)

Programming Language Design and Implementation (Texts in Computer Science)

Introduction to the Tools of Scientific Computing (Texts in Computational Science and Engineering #25)

Guide to Graph Colouring: Algorithms and Applications (Texts in Computer Science)

Guide to Intelligent Data Science: How to Intelligently Make Use of Real Data (Texts in Computer Science)

Python Scripting for Computational Science (Texts in Computational Science and Engineering #3)

Numerical Simulation in Molecular Dynamics: Numerics, Algorithms, Parallelization, Applications (Texts in Computational Science and Engineering #5)

Introduction to Assembly Language Programming: For Pentium and RISC Processors (Texts in Computer Science)

Algorithms on Trees and Graphs: With Python Code (Texts in Computer Science)

Theory of Computation (Texts in Computer Science)

An Integrated Approach to Software Engineering (Texts in Computer Science)