| The Metaphysics of the Pythagorean Theorem |
Robert Hahn |
Jean Rioux |
The Review of Metaphysics |
2018-12-00 |
| Quantum Nonlocality and Reality: 50 Years of Bell's Theorem |
Mary Bell |
Ward Struyve |
Notre Dame Philosophical Reviews |
2018-07-30 |
| Proving History: Bayes's Theorem and the Quest for the Historical Jesus |
Richard C Carrier |
Aviezer Tucker |
History & Theory |
2016-02-01 |
| Frege's Theorem |
Richard G Heck Jr |
Bob Hale |
Mind |
2014-04-01 |
| Frege's Theorem |
Richard G Heck Jr |
Philip Ebert |
The Philosophical Quarterly |
2014-01-01 |
| Frege's Theorem RICHARD G. HECK, JR |
Richard G Heck Jr |
John P. Burgess |
The Journal of Philosophy |
2012-12-00 |
| Frege's Theorem |
Richard G Heck Jr |
Roy T Cook |
Philosophia Mathematica |
2012-10-01 |
| Frege's Theorem |
Richard G Heck Jr |
G Aldo Antonelli |
International Studies in the Philosophy of Science |
2012-06-01 |
| Frege's Theorem |
Richard G Heck Jr |
Carlos Ortiz de Landázuri |
Anuario Filosófico |
2012-01-01 |
| Theorem |
Frege |
Manuel Bremer |
Philosophy in Review |
2012-01-01 |
| Bayes's Theorem |
Richard Swinburne |
Enetz Ezenarro |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2008-04-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Lev D Beklemishev |
The Bulletin of Symbolic Logic |
2007-06-01 |
| Contribution to the Integrability Debate: The Mystery of a Lost Theorem |
Jean Ville |
François Gardes |
History of Political Economy |
2006-12-01 |
| The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives |
Calixto Badesa |
Manfred Stern |
History and Philosophy of Logic |
2006-08-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
Stewart Shapiro |
Philosophia Mathematica |
2006-06-01 |
| Das Paradox des Augenblicks: 'Zarathustras Vorrede' und Nietzsches Theorem der 'ewigen Wiederkunft des Gleichen' |
Andreas Honneth |
Peter Bornedal |
Nietzsche-Studien: Internationales Jahrbuch für die Nietzsche-Forschung |
2006-01-01 |
| Gödel's Theorem: An Incomplete Guide to Its Use and Abuse |
Torkel Franzén |
R Zach |
History and Philosophy of Logic |
2005-11-01 |
| Bayes's Theorem |
Richard Swinburne |
Alan R Rhoda |
International Philosophical Quarterly |
2005-06-01 |
| Bayes's Theorem |
Richard Swinburne |
Paul Anand |
Economics and Philosophy |
2005-04-01 |
| The Birth of Model Theory: Löwenheim's Theorem in the Frame of the Theory of Relatives |
Calixto Badesa |
Ignacio Jané |
Philosophia Mathematica |
2005-02-01 |
| Bayes's Theorem |
|
E. Eells |
Mind |
2004-07-01 |
| Bayes's Theorem |
Richard Swinburne |
Pascal Boldini |
Revue philosophique de la France et de l'étranger |
2004-05-01 |
| Bayes's Theorem |
Swinburne Richard |
Branden Fitelson |
Notre Dame Philosophical Reviews |
2003-11-10 |
| On the philosophical significance of Frege's theorem. Language, thought, and logic, Essays in honour of Michael Dummett, edited by Richard G. HeckJnr |
Crispin Wright |
William Demopoulos |
The Journal of Symbolic Logic |
1998 |
| First-order logic and automated theorem proving |
Melvin Fitting |
Alfredo Ferro |
The Journal of Symbolic Logic |
1993 |
| On an Accidental Proof of the “Fundamental Marxian Theorem” |
D. Suvakovic Olgin |
D. Suvakovic Olgin |
History of Political Economy |
1992-06-01 |
| Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem |
James T Cushing |
Niall Shanks |
Canadian Philosophical Reviews |
1991-02-01 |
| Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem |
James T Cushing |
Allen Stairs |
Synthese |
1991-01-01 |
| Philosophical Consequences Of Quantum Theory: Reflections on Bell's Theorem |
James T. Cushing |
Niall Shanks |
Philosophy in Review |
1991-01-01 |
| Gödel's Theorem in Focus |
Stuart G Shanker |
John F Post |
Canadian Philosophical Reviews |
1989-07-01 |
| Gödel's Theorem in Focus |
S G Shanker |
G L Forguson |
History and Philosophy of Logic |
1989-01-01 |
| Theorem in Focus |
Gödel |
John F. Post |
Philosophy in Review |
1989-01-01 |
| Logic for computer science. Foundations of automatic theorem proving |
Jean H. Gallier |
Frank Pfenning |
The Journal of Symbolic Logic |
1989 |
| Arrow's Theorem: The Paradox of Social Choice |
Alfred F Mackay |
W D Hart |
Mind |
1983-07-01 |
| The Faustmann-Ohlin Theorem: A Historical Note |
Karl Löfgren |
Karl G. Löfgren |
History of Political Economy |
1983-06-01 |
| Arrow's Theorem: The Paradox of Social Choice |
Alfred F MacKay |
Lanning Sowden |
The Philosophical Quarterly |
1983-01-01 |
| Arrow's Theorem: The Paradox of Social Choice |
Alfred F MacKay |
Debra C Rosenthal |
International Studies in Philosophy |
1982-03-01 |
| Arrow's Theorem: The Paradox of Social Choice |
Alfred F MacKay |
Peter Urbach |
The British Journal for the Philosophy of Science |
1981-12-01 |
| Automated theorem proving. A logical basis. Fundamental studies in computer science, vol |
Donald W. Loveland |
J. A. Robinson |
The Journal of Symbolic Logic |
1980 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
Mary Tiles |
Philosophical Books |
1979-10-01 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
John T. Baldwin |
The Journal of Symbolic Logic |
1979 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1978-04-01 |
| On the Origins of the Balanced-Budget-Multiplier Theorem |
Harold M. Somers |
Harold M. Somers |
History of Political Economy |
1977-06-01 |
| Formalization and automatic theorem-proving |
Hao Wang |
Joyce Friedman |
The Journal of Symbolic Logic |
1974 |
| Carol Karp. An algebraic proof of the Barwise compactness theorem. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
N. J. Cutland |
The Journal of Symbolic Logic |
1974 |
| Analog of Herbrand's Theorem for Prenex Formulas of Constructive Predikatov |
G E Mints |
J Van Heijenoort |
The Journal of Symbolic Logic |
1971-09-01 |
| The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference |
Frank B. Cannonito |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Gödel's theorem |
S G Shanker |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Craig's theorem |
Max Black |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| On a theorem of Cobham concerning undecidable theories |
Robert L. Vaught |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |