by P. H. Nidditch
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Predicate calculus · Textbooks
Beginning logic
1965
Computer algorithms · Computational complexity
SAT 2005
2006
Data processing · Many-valued logic
An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
1979
Problems, exercises · Propositional calculus
Propositional and Predicate Calculus
2005
Computer algorithms · Propositional calculus
Theory and applications of satisfiability testing -- SAT 2006
Theory and applications of satisfiability testing
2004
Congresses · Computer algorithms
2007
Analysis (Philosophy) · Language
Tractatus logico-philosophicus
1921
Symbolic and mathematical Logic · Thought and thinking
An Investigation of the Laws of Thought (Barnes & Noble)
1854
Algebraic logic · Symbolic and mathematical Logic
Algèbre de la logique
1905
Symbolic and mathematical Logic · Logic
The Game of Logic
1886
Gödel's theorem · Mathematics
Gödel's proof
1958
German Philosophy · Langage et langues
Philosophische Untersuchungen
1953
Symbolic and mathematical Logic · Textbooks
Mathematics and plausible reasoning
1954
Logics · Teoria Do Conhecimento
Gödel, Escher, Bach
Reasoning · Logic, Symbolic and mathematical
Regulae ad directionem ingenii
1899
Mathematics · Computer science
Discrete Mathematics and Its Applications
1988
