Beginning Logic Author: ISBN-13: 9780915144501 - ISBN-10: 0915144506 ? Book Type: Paperback Publication Date: 1978 |
|
|
|
Classical Propositional Operators: An Exercise in the Foundations of Logic (Oxford logic guides) Author: ISBN-13: 9780198531739 - ISBN-10: 0198531737 ? Book Type: Hardcover Publication Date: 1982 |
|
|
|
Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science) Author: ISBN-13: 9780387969572 - ISBN-10: 0387969578 ? Book Type: Hardcover Publication Date: 1989 |
|
|
|
Beginning Logic Author: ISBN-13: 9780412380907 - ISBN-10: 0412380900 ? Book Type: Paperback Publication Date: 1971 |
|
|
|
Elements of Deductive Inference: An Introduction to Symbolic Logic Author: ISBN-13: 9780534551216 - ISBN-10: 0534551211 ? Book Type: Hardcover Publication Date: 1999 |
|
|
|
Mathematical Logic for Computer Science Author: ISBN-13: 9781852333195 - ISBN-10: 1852333197 ? Book Type: Paperback Publication Date: 2003 |
|
|
|
Ontological Economy: Substitutional Quantification and Mathematics (Clarendon Library of Logic & Philosophy) Author: ISBN-13: 9780198244202 - ISBN-10: 0198244207 ? Book Type: Hardcover Publication Date: 1980 |
|
|
|
Subsystems of Second Order Arithmetic (Perspectives in Mathematical Logic) Author: ISBN-13: 9783540648826 - ISBN-10: 3540648828 ? Book Type: Hardcover Publication Date: 1999 |
|
|
|
Satisfiability Problem: Theory and Applications (Dimacs Series in Discrete Mathematics and Theoretical Computer Science) ISBN-13: 9780821804797 - ISBN-10: 0821804790 ? Book Type: Hardcover |
|
|
|
|
|
|
|
Propositional and Predicate Calculus: A Model of Argument Author: ISBN-13: 9781852339210 - ISBN-10: 1852339217 ? Book Type: Paperback Publication Date: 2005 |
|
|
|
Introduction to Mathematics of Satisfiability (Chapman & Hall/CRC Studies in Informatics Series) Author: ISBN-13: 9781439801673 - ISBN-10: 1439801673 ? Book Type: Hardcover Publication Date: 2009 |
|
|
|
Subsystems of Second Order Arithmetic (Perspectives in Logic) Author: ISBN-13: 9780521884396 - ISBN-10: 052188439X ? Book Type: Hardcover Publication Date: 2009 |
|
|
|
Technical Methods in Philosophy (Focus Series) Author: ISBN-13: 9780813378725 - ISBN-10: 0813378729 ? Book Type: Paperback |
|