| Kurt Gödel. Eine Interpretation des intuitionistischen Aussagenkalküls (1933f). A reprint of 41812. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Zur intuitionistischen Arithmetik und Zahlentheorie (1933e). A reprint of 41811. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Einige metamathematische Resultate über Entscheidunasdefinitheit und Widerspruchsfreiheit (1930b). A reprint of 4181. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions |
Georg Dorn and P. Weingartner |
Daniel H. Cohen |
The Journal of Symbolic Logic |
1990 |
| Recursively enumerable sets and degrees. A study of computable functions and computably generated sets |
Robert I. Soare |
Rodney Downey |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Turing's world |
Jon Barwise and John Etchemendy |
George Boolos |
The Journal of Symbolic Logic |
1990 |
| History and philosophy of modern mathematics |
William Aspray |
Michael Hallett |
The Journal of Symbolic Logic |
1990 |
| Wittgenstein, Frege and the Vienna circle |
Gordon Baker |
Peter Hylton |
The Journal of Symbolic Logic |
1990 |
| Temporal logics and their applications |
Antony Galton |
Luis Fariñas del Cerro |
The Journal of Symbolic Logic |
1990 |
| Kurt Gödel. Über Unabhängigkeitsbeweise im Aussagenkalküls (1933a). A reprint of 41810. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel |
Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort |
Martin Davis |
The Journal of Symbolic Logic |
1990 |
| Selected Issues in Logic and Communication |
Trudy Govier |
Dianne Romain |
Canadian Philosophical Reviews |
1989-12-01 |
| The Logic of Epistemology and the Epistemology of Logic |
Jaakko Hintikka and Merrill Hintikka |
R. L. Simpson |
The Review of Metaphysics |
1989-12-00 |
| Logic and Politics: Hegel's Philosophy of Right |
Peter J Steinberger |
Peter G Stillman |
Political Theory |
1989-11-01 |
| Language, Logic, and Experience: The Case for Anti-Realism |
Michael Luntley |
Evan Fales |
Canadian Philosophical Reviews |
1989-11-01 |
| Concept and Object: The Unity of the Proposition in Logic and Psychology |
Anthony Palmer |
Felicity A Watts |
Philosophical Books |
1989-10-01 |
| Selected Papers, V1: Logic and Knowledge, V2: Persons and Values |
J L Mackie |
M Espinoza |
Archives de Philosophie |
1989-10-01 |
| Marx's Grundrisse and Hegel's Logic |
Hiroshi Uchida |
Chris Arthur |
Radical Philosophy |
1989-09-01 |
| Parmenides: Being, Bounds, and Logic |
Scott Austin |
James Wm Forrester |
Noûs |
1989-09-01 |
| Logic, Ontology, and Language: Essays on Truth and Reality |
Herbert Hochberg |
L. S. Carrier |
Synthese |
1989-09-00 |
| The Logic of Unity: The Discovery of Zero and Emptiness in Prajnaparamita Thought |
Hosaku Matsuo |
Richard Pilgrim |
Philosophy East and West |
1989-07-01 |
| Concept and Object: The Unity of the Proposition in Logic and Psychology |
Anthony Palmer |
Oswald Hanfling |
Philosophical Investigations |
1989-07-01 |
| Anti-Realism and Logic: Truth as Eternal |
Neil Tennant |
Alan Weir |
Canadian Philosophical Reviews |
1989-07-01 |
| Buddhist Logic and Epistemology |
Bimal Krishna Matilal |
David Bastow |
Religious Studies |
1989-06-00 |
| The Logic of God Incarnate |
Thomas V Morris |
Eleanore Stump |
Faith and Philosophy |
1989-04-01 |
| Language, Logic, and Experience: The Case for Anti-Realism |
Michael Luntley |
Jane Heal |
Philosophical Books |
1989-04-01 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E Harris |
Howard Kainz |
The Owl of Minerva: Journal of the Hegel Society of America |
1989-03-01 |
| The Jena System, 1804-5: Logic and Metaphysics |
G W F Hegel |
John Dobbins |
The Owl of Minerva: Journal of the Hegel Society of America |
1989-03-01 |
| Logic and Politics: Hegel's Philosophy of Right |
Peter J. Steinberger |
Howard P. Kainz |
The Review of Metaphysics |
1989-03-00 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E. Harris |
Laura Byrne |
The Review of Metaphysics |
1989-03-00 |
| Modal Logic and Classical Logic |
Johan Van Benthem |
Jesús Padilla Galvez |
Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia |
1989-02-01 |
| The Jena System, 1804-5: Logic and Metaphysics |
G W F Hegel |
Martin J De Nys |
Idealistic Studies: An Interdisciplinary Journal of Philosophy |
1989-01-01 |
| Foundations of Illocutionary Logic |
John Searle and Daniel Vanderveken |
Werner Sauer |
International Studies in Philosophy |
1989-01-01 |
| Logical Studies in Early Analytic Philosophy |
N B Cocchiarella |
I Grattan-Guinness |
History and Philosophy of Logic |
1989-01-01 |
| Michael Dummett: Contributions to Philosophy |
Barry M Taylor |
Peter Smith |
History and Philosophy of Logic |
1989-01-01 |
| Proof Theory |
G Takeuti |
N D Goodman |
History and Philosophy of Logic |
1989-01-01 |
| Logic, Philosophy of Science and Epistemology |
Paul Weingartner |
George Roussopoulos |
History and Philosophy of Logic |
1989-01-01 |
| Gödel Remembered: Salzburg 10-12 July |
Rudolf Gödel |
R E Vesley |
History and Philosophy of Logic |
1989-01-01 |
| Concept and Object: The Unity of the Proposition in Logic and Psychology |
Anthony Palmer |
Dale Jacquette |
History and Philosophy of Logic |
1989-01-01 |
| A Formalization of Set Theory without Variables |
Alfred Tarski |
John Bacon |
History and Philosophy of Logic |
1989-01-01 |
| Frege Conference |
G Wechsung |
William Boos |
History and Philosophy of Logic |
1989-01-01 |
| Generische Kennzeichnungen |
Gerhard Heyer |
Rainer Bäuerle |
History and Philosophy of Logic |
1989-01-01 |
| Hegel's Critique of Kant |
Stephen Priest |
W Bonsiepen |
History and Philosophy of Logic |
1989-01-01 |
| The Cambridge History of Renaissance Philosophy |
Charles B Schmitt |
Gabriel Nuchelmans |
History and Philosophy of Logic |
1989-01-01 |
| Logic, Language and Reality |
Bimal Krishna Matilal |
Pranab Kumar Sen |
Mind |
1989-01-01 |
| Parts: A Study in Ontology |
Peter Simons |
Wolfe Mays |
History and Philosophy of Logic |
1989-01-01 |
| Gödel's Theorem in Focus |
S G Shanker |
G L Forguson |
History and Philosophy of Logic |
1989-01-01 |
| Parmenides: Being, Bounds, and Logic |
Scott Austin |
Manfred Kerkhoff |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1989-01-01 |
| Logik der Fragen |
Jürgen Walther |
Hans Ineichen |
History and Philosophy of Logic |
1989-01-01 |
