All categories
caret-down
cartcart

Popularity
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)
New €69.99
You save €32.50 (46%)
Book€37.49
You save €32.50 (46%)
New €69.99€37.49

Readings in Formal Epistemology: Sourcebook (Springer Graduate Texts in Philosophy)
New €139.09
You save €95.60 (68%)
Book€43.49
You save €95.60 (68%)
New €139.09€43.49

Infinity and the Mind: The Science and Philosophy of the Infinite (Princeton Science Library)
Book€10.49
€10.49

Philosophical Logic: An Introduction
Philosophical Logic: An Introduction
from  Sybil WolframUsed - acceptableBook - Used - acceptable
Book€9.99
€9.99

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
from  Mordechai Ben-AriUsed - very goodBook - Used - very good
Book€20.49
€20.49

Logic and Its Applications (Prentice-Hall International Series in Computer Science)
Book€2.99
€2.99


Finite Model Theory: First Edition (Perspectives in Mathematical Logic)
Book€50.00
€50.00

Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Lecture Notes in Computer Science)
New €53.49
You save €12.48 (23%)
Book€41.01
You save €12.48 (23%)
New €53.49€41.01


Quantum Physics, Fuzzy Sets and Logic (SpringerBriefs in Physics)
New €53.49
You save €14.50 (27%)
Book€38.99
You save €14.50 (27%)
New €53.49€38.99

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)
New €74.89
You save €65.40 (87%)
Book€9.49
You save €65.40 (87%)
New €74.89€9.49

Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science)
New €53.49
You save €49.00 (91%)
Book€4.49
You save €49.00 (91%)
New €53.49€4.49

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)
New €109.99
You save €107.50 (97%)
Book€2.49
You save €107.50 (97%)
New €109.99€2.49

Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes in Computer Science)
New €53.49
You save €51.00 (95%)
Book€2.49
You save €51.00 (95%)
New €53.49€2.49

Number Theory: An approach through history from Hammurapi to Legendre (Modern Birkhäuser Classics)
New €117.69
You save €55.20 (46%)
Book€62.49
You save €55.20 (46%)
New €117.69€62.49

Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
New €53.49
You save €39.00 (72%)
Book€14.49
You save €39.00 (72%)
New €53.49€14.49

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings (Lecture Notes in Computer Science)
New €74.89
You save €56.40 (75%)
Book€18.49
You save €56.40 (75%)
New €74.89€18.49

Integration of World Knowledge for Natural Language Understanding (Atlantis Thinking Machines)
New €106.99
You save €38.50 (35%)
Book€68.49
You save €38.50 (35%)
New €106.99€68.49