Price loading...

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

Price data last checked 102 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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.

Product Specifications
Brand
Springer
Format
paperback
ASIN
1461275156
Category
Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain
Amazon UK
Release Date
26 June 2013
Listed Since
07 November 2013

Barcode

No barcode data available

Similar Products You Might Like

Mathematical Logic (Undergraduate Texts in Mathematics)
93% match

Mathematical Logic (Undergraduate Texts in Mathematics)

Springer

£53.99 29 Jan 2026
Mathematical Logic for Computer Science
92% match

Mathematical Logic for Computer Science

Springer

£44.25 15 Feb 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
92% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£42.30 21 Feb 2026
Logic for Applications (Texts in Computer Science)
92% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)
92% match

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

£66.72 17 Mar 2026
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
91% match

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Springer

£87.91 09 Dec 2025
A First Course in Logic
91% match

A First Course in Logic

CRC Press

£60.78 09 Jan 2026
The Calculus of Computation: Decision Procedures with Applications to Verification
91% match

The Calculus of Computation: Decision Procedures with Applications to Verification

Springer

£59.19 11 Feb 2026
Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)
91% match

Gentzen's Logical Calculi: (the theory pamphlet) (SpringerBriefs in Philosophy)

Springer

£44.99 10 Mar 2026
Theory of Computation (Texts in Computer Science)
91% match

Theory of Computation (Texts in Computer Science)

Springer

£63.52 07 Jan 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
91% match

A Logical Approach to Discrete Math (Monographs in Computer Science)

Springer

£63.85 12 Dec 2025
Logic and Language Models for Computer Science: Third Edition
91% match

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

£56.56 13 Apr 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
91% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
91% match

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

£68.39 23 Feb 2026
Logic for Computer Scientists (Modern Birkhäuser Classics)
91% match

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

£48.33 27 Feb 2026
Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)
91% match

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Springer

£123.71 12 Jan 2026
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
91% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.26 26 Feb 2026
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
91% match

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Springer

£75.27 08 Mar 2026
Logic Programming: A Classified Bibliography
91% match

Logic Programming: A Classified Bibliography

Springer

£83.18 17 Apr 2026
Springer - Automated Theorem Proving: Theory and Practice
91% match

Springer - Automated Theorem Proving: Theory and Practice

Springer

£100.04 24 Feb 2026
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
91% match

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Springer

£91.63 07 Mar 2026
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
91% match

Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)

Springer

£50.32 08 Mar 2026
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
91% match

Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)

Springer

£66.93 28 Feb 2026
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
91% match

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£56.24 25 Feb 2026