Explore Books on
propositional calculus

Beginning logic

By E. J. Lemmon

SAT 2005

By Enrico Giunchiglia,Toby Walsh

Propositional calculus

By P. H. Nidditch

An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic

By Yehoshua Sagiv

Propositional and Predicate Calculus

By Derek Goldrei

Elementary Point-Set Topology

By Andre L. Yandl,Adam Bowers

Theory and applications of satisfiability testing

By SAT 2007 (2007 Lisbon, Portugal)

Theory and applications of satisfiability testing -- SAT 2006

By Armin Biere

Theory and applications of satisfiability testing

By Enrico Giunchiglia

Theory and applications of satisfiability testing

By Fahiem Bacchus,Toby Walsh

Classical propositional operators

By Krister Segerberg

Systemy nonsense-logics

By Krystyna Piróg-Rzepecka

Lógica para computación

By Francisco S. Naishtat

Lógica: o cálculo sentencial

By Leônidas Hegenberg

Introduction mathématique à la logique

By Georges Leresche

Elementary set theory: proof techniques

By Carl E. Gordon

Logik als Erfahrungswissenschaft

By Gabriele Gutzmann

A decomposition method for simplifying propositional functions

By Charles C. Pinter

A Teaching Companion to Lemmon's Beginning Logic

By George F. Schumm

A system of relative existential propositions connected with the relation of class-membership

By Clarence Eugene Van Horn

A Survey of Lower Bounds for Satisfiability and Related Problems

By Dieter Melkebeek van

Calcul en logique du premier ordre

By Yves Bouchard

Finite models of zero order propositional calculi

By Ralph Calvin Applebee

On the lengths of proofs in the propositional calculus

By Robert A. Reckhow