Mathematical Logic for Computer Science - Image 1

£44.70

Springer Mathematical Logic for Computer Science

Name: Mathematical Logic for Computer Science
Brand: Springer
Price: 44.7 GBP
Availability: InStock

Programming

It has never been this cheap. We have no record of a lower price.

£45 today · cheaper than every other day in the last 3 months

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 55 days • 55 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 55 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (40 days, 72.7%)

Price range: £45 - £46

Price levels: 2 different prices over 55 days

Description

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic for the verification of concurrent programs. The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.

Key Features

Mathematical Logic for Computer Science

Books Subjects Computers Technology Programming General Books Subjects Computers Technology General Books Subjects Computers Technology Computer Science Featured Stores Books Subjects Computers Technology Programming Microsoft Programming Books Subjects Science Math Mathematics Pure Mathematics Logic

Product Type: ABIS BOOK

Brand: Springer

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1447141288
Category: Books > Subjects > Computing & Internet > Programming
Domain: Amazon UK
Release Date: 17 June 2012
Listed Since: 27 April 2012

Barcode

No barcode data available

Springer Mathematical Logic for Computer Science

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Logic for Computer Science and Artificial Intelligence

Logic for Applications (Texts in Computer Science)

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

Logic And Language Models For Computer Science (Third Edition)

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

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

Logic for Computer Scientists (Modern Birkhäuser Classics)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

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

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

Logic for Mathematicians

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)

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

Proof Theory and Logic Programming: Computation as Proof Search

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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