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

£48.33

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

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

Computer Science

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

£48 today · usual range £0–£0 · best ever £24

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

Historical

Generating forecast...

Price Distribution

Price distribution over 629 days • 4 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £47-52 (390 days, 62.0%)

Price range: £24 - £52

Price levels: 4 price ranges over 629 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
Publication 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 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

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)

Mathematical Logic (Undergraduate Texts in Mathematics)

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

Logic and Language (Cornerstones of Computing S)

Routledge - An Introduction to Substructural Logics Book

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Logic of Computation: SER F / v.157 (NATO ASI)

Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)