£48.33

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

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

View at Amazon

Price History & Forecast

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

Historical
Generating forecast...
£48.33 £48.11 £48.16 £48.21 £48.25 £48.30 £48.35 25 January 2026 02 February 2026 10 February 2026 18 February 2026 27 February 2026

Price Distribution

Price distribution over 34 days • 1 price levels

Days at Price
34 days 0 9 17 26 34 £48 Days at Price

Price Analysis

Most common price: £48 (34 days, 100.0%)

Price range: £48 - £48

Price levels: 1 different prices over 34 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

Similar Products You Might Like

Mathematical Logic for Computer Science
93% match

Mathematical Logic for Computer Science

Springer

£44.25 15 Feb 2026
Logic for Applications (Texts in Computer Science)
92% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
Logic And Language Models For Computer Science (Third Edition)
92% match

Logic And Language Models For Computer Science (Third Edition)

Scientific Publishing

£39.44 17 Mar 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
92% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£48.61 21 Feb 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
92% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£45.08 15 Feb 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
92% match

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

CRC Press

£38.79 17 Feb 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
92% match

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

Springer

£63.85 12 Dec 2025
Logic Functions and Equations: Binary Models for Computer Science
91% match

Logic Functions and Equations: Binary Models for Computer Science

Springer

£69.98 26 Feb 2026
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
Introduction to Logic and Logical Discourse
91% match

Introduction to Logic and Logical Discourse

£91.52 07 Jan 2026
Introduction to Logic and Logical Discourse
91% match

Introduction to Logic and Logical Discourse

Springer

£89.88 25 Feb 2026
Formal Methods in Computer Science (Textbooks in Mathematics)
91% match

Formal Methods in Computer Science (Textbooks in Mathematics)

CRC Press

£73.49 26 Feb 2026
Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)
91% match

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

Oxford University Press

£53.00 05 Mar 2026
Logic in Computer Science: Modelling and Reasoning about Systems
91% match

Logic in Computer Science: Modelling and Reasoning about Systems

£50.59 11 Jan 2026
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
91% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.45 13 Jan 2026
Logical Foundations of Artificial Intelligence
91% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 20 Feb 2026
A Logical Approach to Discrete Math (Monographs in Computer Science)
91% match

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

Springer

£37.46 20 Feb 2026
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
91% match

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

Springer

£65.47 13 Jan 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
91% match

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

Springer

£42.30 21 Feb 2026
Mathematical Logic
91% match

Mathematical Logic

Taylor & Francis

£46.30 12 Apr 2026
Introduction to Mathematical Logic: Extended Edition
91% match

Introduction to Mathematical Logic: Extended Edition

World Scientific Publishing Company

£71.00 26 Feb 2026
Propositional Logics Third Edition
91% match

Propositional Logics Third Edition

Advanced Reasoning Forum

£37.39 16 Feb 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
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
91% match

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Birkhauser

£60.17 23 Jan 2026