Explore Books on
propositional calculus
1-24 of 50 Books
Propositional and Predicate Calculus
By Derek Goldrei
An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
By Yehoshua Sagiv
Theory and applications of satisfiability testing
By SAT 2007 (2007 Lisbon, Portugal)
Theory and applications of satisfiability testing
By Enrico Giunchiglia
Theory and applications of satisfiability testing -- SAT 2006
By Armin Biere
Theory and applications of satisfiability testing
By Fahiem Bacchus,Toby Walsh
Elementary Point-Set Topology
Elementary Point-Set Topology
By Andre L. Yandl,Adam Bowers
A Teaching Companion to Lemmon's Beginning Logic
By George F. Schumm
A Survey of Lower Bounds for Satisfiability and Related Problems
By Dieter Melkebeek van
Sisteme logice și forme normale în calculul propozițional bivalent
Sisteme logice și forme normale în calculul propozițional bivalent
By Eugen Mihăilescu
Lógica: o cálculo sentencial
Lógica: o cálculo sentencial
By Leônidas Hegenberg
Logik als Erfahrungswissenschaft
Logik als Erfahrungswissenschaft
By Gabriele Gutzmann
Systemy nonsense-logics
Systemy nonsense-logics
By Krystyna Piróg-Rzepecka
Classical propositional operators
Classical propositional operators
By Krister Segerberg
Matrices de Morgan caractéristiques pour le calcul propositionnel classique
Matrices de Morgan caractéristiques pour le calcul propositionnel classique
By Antonio Monteiro
Investigations into the equivalence connective
Investigations into the equivalence connective
By Jacek K. Kabziński
La structuration infinie des opérations bivalentes
La structuration infinie des opérations bivalentes
By Le Comunieur.
Traité du losange logique
Traité du losange logique
By Le Comunieur.
Elementary set theory: proof techniques
Elementary set theory: proof techniques
By Carl E. Gordon
Introduction mathématique à la logique
Introduction mathématique à la logique
By Georges Leresche