Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
from $110.00
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications (Texts in Computer Science)
$61.10
from $50.27
A First Course in Mathematical Logic and Set Theory
from $102.00
Logic: A Complete Introduction: Teach Yourself (Complete Introductions)
from $4.99
The Philosophy of Logical Atomism (Routledge Classics)
$27.33
from $21.89
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
from $63.73
An Introduction to Mathematical Logic (Dover Books on Mathematics)
from $8.00
Foundations of Mathematics and other Logical Essays (International Library of Philosophy)
from $14.20
Elementary Point-Set Topology: A Transition to Advanced Mathematics (Aurora: Dover Modern Math Originals)
from $19.22
2000 Solved Problems in Discrete Mathematics (Schaum's Solved Problems)
from $14.09
More results from Amazon »