by Charles C. Pinter
5 March 1932
Charles Pinter is a Professor of Mathematics, Emeritus at Bucknell University.
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
Propositional calculus · Symbolic and mathematical Logic
Propositional calculus
1962
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
Truth-functions · First-order logic
Truth-functional logic
Truth-functions
Symbolic and mathematical Logic · Truth-functions
Truthfulness and falsehood · Truth-functions
Liar's manual
1983
Truth Functions and the Problem of Their Realization by Two Terminal Graphs
1968
Database management · Data structures (Computer science)
Use of null values in a relational database to represent incomplete and inapplicable information
1985
Truth functions and the problem of their realization by two-terminal graphs
Truth-functions · Graph theory
