We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£46.99
Vieweg+Teubner Verlag Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
black & white illustrations
Price data last checked 72 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£47 today · previous high £47 · all-time low £47
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
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 19 days • 19 data points (No recent data available)
Price Distribution
Price distribution over 19 days • 1 price levels
Price Analysis
Most common price: £47 (19 days, 100.0%)
Price range: £47 - £47
Price levels: 1 different prices over 19 days
Description
Product Specifications
- Brand
- Vieweg+Teubner Verlag
- Format
- paperback
- ASIN
- 3528047186
- Domain
- Amazon UK
- Release Date
- 01 January 1989
- Listed Since
- 13 October 2010
Barcode
No barcode data available
Similar Products You Might Like
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II: 2408 (Lecture Notes in Computer Science, 2408)
Springer
Logic for Computer Science and Artificial Intelligence
Wiley
Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)
Paysages Mathématiques
Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
Springer
Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)
Springer
Computer-Aided Reasoning: ACL2 Case Studies: 4 (Advances in Formal Methods, 4)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Introduction to Logic and Computer Design
McGraw-Hill Education
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
Logic for Mathematicians
Cambridge University Press
Logic Functions and Equations: Binary Models for Computer Science
Springer
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
Springer
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Springer
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
Springer
Introduction to Logic Design
CRC Press
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
CRC Press
Linear Logic in Computer Science: 316 (London Mathematical Society Lecture Note Series, Series Number 316)
Cambridge University Press
Logic for Applications (Texts in Computer Science)
Springer
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe: 19 (Mathematisch-Naturwissenschaftliche Bibliothek, 19)
Vieweg+Teubner Verlag
Algebraic Perspectives on Substructural Logics: 55 (Trends in Logic, 55)
Springer
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)
Springer
A Logical Approach to Discrete Math (Monographs in Computer Science)
Springer