Citations of:

The Unit Preference Strategy in Theorem Proving

Journal of Symbolic Logic 32 (1):117-117 (1967)

You must login to add citations.

Some Recent Developments in Complete Strategies for Theorem‐Proving by Computer.Bernard Meltzer - 1968 - Mathematical Logic Quarterly 14 (25-29):377-382.details Logical Semantics and Logical Truth in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Mathematical Proof in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...