First-Order Logic and Automated Theorem Proving - 9781461275152

First-Order Logic and Automated Theorem Proving - 9781461275152

Springer

Pages: 344, Edition: Second Edition 1996, Paperback, Springer

Compare prices (3 shops)

Sort: Price: lowest first Price: highest first

shop	Price	Action
	62,64 GBP	Go to shop
	73,83 GBP	Go to shop
	84,30 GBP	Go to shop

Similar products

Theorem
From 12,95 EUR
Proving History : Bayes's Theorem and the Quest for the Historical Jesus
From 15,99 EUR
PROVING GROUND THE
From 8,69 EUR
First-Order Logic - 9783642867200
From 39,17 EUR
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic)
From 17,10 EUR
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
From 44,99 EUR