Logic for Computer Scientists (Modern Birkhäuser Classics) - Image 1

£51.67

Birkhauser Logic for Computer Scientists (Modern Birkhäuser Classics)

Name: Logic for Computer Scientists (Modern Birkhauser Classics)
Brand: Birkhauser
Price: 51.67 GBP
Availability: InStock

Computer Science

This is the most expensive it has ever been. Walk away.

£52 today · previous high £52 · all-time low £43

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 70 days · 70 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 70 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £43 (28 days, 40.0%)

Price range: £43 - £52

Price levels: 4 different prices over 70 days

Description

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

Product Specifications

Brand: Birkhauser
Format: paperback
ASIN: 0817647627
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 11 January 2008
Listed Since: 06 December 2007

Barcode

No barcode data available

Birkhauser Logic for Computer Scientists (Modern Birkhäuser Classics)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic: An Introduction (Fundamentals of Philosophy)

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Mathematical Logic and Computation

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)

Mathematical Logic

An Introduction to Substructural Logics

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

Logic And Language Models For Computer Science (Third Edition)

Logic and Philosophy: A Modern Introduction

Logic: An Introduction (Fundamentals of Philosophy)

Fundamentals of Mathematical Logic

A First Course in Logic

Logic for Computer Science and Artificial Intelligence

A Mathematical Introduction To Logic

Mathematical Logic: An Introduction (De Gruyter Textbook)

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

Reasoning with Logic Programming: 1111 (Lecture Notes in Computer Science, 1111)

Springer Mathematical Problems from Applied Logic I - Vol 4

Mathematical Logic (Undergraduate Texts in Mathematics)

Mathematical Logic Part 1: Propositional Calculus, Boolean Algebras & Predicate Calculus

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Logic and Language (Cornerstones of Computing S)

An Introduction to Paraconsistent Logics

Routledge - An Introduction to Substructural Logics Book