References in:

Evolution of mathematical proof

Foundations of Science 2 (1):77-85 (1997)

You must login to add references.

Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.details Areas of Mathematics in Philosophy of Mathematics $5.34 used View on Amazon.com Direct download (2 more) Export citation Bookmark 20 citations

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 ...