Introduction to Mathematics of Satisfiability
Taylor & Francis (2009)
| Abstract | From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ... | |||||||||
| Keywords | Propositional calculus Logic, Symbolic and mathematical | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $82.17 new (18% off) $87.64 direct from Amazon (13% off) $90.04 used (10% off) Amazon page | |||||||||
| Call number | QA9.3.M37 2009 | |||||||||
| ISBN(s) | 9781439801673 1439801673 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesWim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Robert Goldblatt (2011). Quantifiers, Propositions, and Identity: Admissible Semantics for Quantified Modal and Substructural Logics. Cambridge University Press.
Othman Qasim Malhas (1987). Quantum Logic and the Classical Propositional Calculus. Journal of Symbolic Logic 52 (3):834-841.
Jan Krajíček (1995). Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press.
Nathan Segerlind (2007). The Complexity of Propositional Proofs. Bulletin of Symbolic Logic 13 (4):417-481.
Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
A. A. Stoli͡ar (1984). Introduction to Elementary Mathematical Logic. Dover Publications.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
Analytics
Monthly downloads |
Added to index2009-09-15Total downloads4 ( #178,675 of 549,084 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
