Logic for Applications (Texts in Computer Science) - Image 1

£108.11

Springer Logic for Applications (Texts in Computer Science)

Name: Logic for Applications (Texts in Computer Science)
Brand: Springer
Price: 108.11 GBP
Availability: InStock

AI & Machine Learning

This is the usual price. Wait for it to drop, or tell us your number.

£108 today · usual range £0–£0 · best ever £100

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 582 days • 582 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 582 days • 4 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £104-108 (302 days, 51.9%)

Price range: £100 - £121

Price levels: 4 price ranges over 582 days

Description

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0387948937
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 17 January 1997
Listed Since: 12 January 2007

Barcode

No barcode data available

Springer Logic for Applications (Texts in Computer Science)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Oxford University Press - Fragments of First-Order Logic

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

Logic for Computer Science and Artificial Intelligence

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

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Logic for Mathematicians

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Mathematical Logic through Python

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Propositional Logics Third Edition

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Hybrid Logic and its Proof-Theory: 37 (Applied Logic Series, 37)

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Simple Formal Logic: With Common-Sense Symbolic Techniques

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)