| Collected Papers on Mathematics, Logic and Philosophy |
Paul Cortois |
C. J. Hookway |
Philosophical Books |
1985-04-01 |
| Mathematics in Philosophy: Selected Essays |
Charles Parsons |
Alasdair Urquhart |
History and Philosophy of Logic |
1985-01-01 |
| Philosophy of Mathematics, 2nd Ed |
P Benacerraf |
Philip Kitcher |
History and Philosophy of Logic |
1985-01-01 |
| The logical foundations of mathematics |
William S Hatcher |
Corrado Mangione |
History and Philosophy of Logic |
1984-01-01 |
| Zermelo's axiom of choice. Its origins, development, and influence. Studies in the history of mathematics and physical sciences, vol |
Gregory H. Moore |
Jean E. Rubin |
The Journal of Symbolic Logic |
1984 |
| Hamilton. Numbers, sets and axioms. The apparatus of mathematics |
A.G |
James Henle |
The Journal of Symbolic Logic |
1984 |
| Empiricism, Logic, and Mathematics. Philosophical Papers |
Hans Hahn |
D. A. Gillies |
The British Journal for the Philosophy of Science |
1982-06-01 |
| The Infinite in Mathematics |
Felix Kaufmann |
Robert Bunn |
History and Philosophy of Logic |
1982-01-01 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
The Journal of Symbolic Logic |
1982 |
| Georg Cantor: His Mathematics and Philosophy of the Infinite |
Joseph Warren Dauben |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1982 |
| Frege and the Philosophy of Mathematics |
Michael D. Resnik |
Clifton McIntosh |
The Journal of Symbolic Logic |
1982 |
| The new elements of mathematics. Volume III parts 1 and 2. Mathematical miscellanea. Edited by Carolyn Eisele |
Charles S. Peirce |
Jay Zeman |
The Journal of Symbolic Logic |
1982 |
| Empiricism, Logic and Mathematics |
H Hahn |
José Benardete |
The Review of Metaphysics |
1981-06-01 |
| Set theory. Pure and applied mathematics |
Thomas Jech |
Keith J. Devlin |
The Journal of Symbolic Logic |
1981 |
| Logic, Foundations of Mathematics, and Computability Theory |
R. E. Butts |
David Miller |
Synthese |
1980-03-00 |
| Georg Cantor: His Mathematics and Philosophy of the Infinite |
Joseph Warren Dauben |
Gregory H Moore |
History and Philosophy of Logic |
1980-01-01 |
| Foundations: Essays in Philosophy, Logic, Mathematics and Economics |
F. P. Ramsey |
C. Lejewski |
Philosophy |
1979-04-00 |
| L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics |
L E J Brouwer |
Joan Rand Moschovakis |
The Journal of Symbolic Logic |
1979 |
| Logic, Foundations of Mathematics, and Computability Theory |
R E Butts |
Gabriele Lolli |
Scientia: International Review of Scientific Synthesis |
1978-01-01 |
| Applied nonstandard analysis. Pure and applied mathematics |
Martin Davis |
Lawrence D. Kugler |
The Journal of Symbolic Logic |
1978 |
| From mathematics to philosophy. International library of philosophy and scientific method |
Hao Wang |
John P. Burgess |
The Journal of Symbolic Logic |
1977 |
| Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol |
Daniel Gallin |
Kenneth A. Bowen |
The Journal of Symbolic Logic |
1977 |
| Collected Works, V1: Philosophy and Foundations of Mathematics |
L E J Brouwer |
Anonymous |
International Logic Review |
1975-06-01 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| J. Diller. Zur Berechenbarkeit primitiv-rekursiver funktionale endlicher Typen. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schutte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
William A. Howard |
The Journal of Symbolic Logic |
1975 |
| Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
E. G. K. LóPez-Escobar |
The Journal of Symbolic Logic |
1975 |
| Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
J. van Heijenoort |
The Journal of Symbolic Logic |
1975 |
| Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
Richard J. Orgass |
The Journal of Symbolic Logic |
1975 |
| Michael O. Rabin. Weakly definable relations and special automata |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Dirk Siefkes |
The Journal of Symbolic Logic |
1975 |
| A. S. Yessenin-Volpin. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
James R. Geiser |
The Journal of Symbolic Logic |
1975 |
| Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Henry E. Kyburg |
The Journal of Symbolic Logic |
1975 |
| A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
C. Lejewski |
The Journal of Symbolic Logic |
1975 |
| H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
H.-D. Ebbinghaus |
The Journal of Symbolic Logic |
1974 |
| Michael Morley. Partitions and models. Proceedings of the summer school in logic, Leeds |
M. H. Löb, Lecture notes in mathematics, no. 70 |
Wilfrid Hodges |
The Journal of Symbolic Logic |
1974 |
| Fred Sommers. On a Fregean dogma. Problems in the philosophy of mathematics, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Gerald Standley |
The Journal of Symbolic Logic |
1974 |
| Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
William Glassmire |
The Journal of Symbolic Logic |
1974 |
| Pascual Jordan. Quantenlogik und das kommutative Gesetz. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957–January 4 |
Leon Henkin, Patrick Suppes, and Alfred Tarski, Studies in logic and the foundations of mathematics |
M. Drieschner |
The Journal of Symbolic Logic |
1974 |
| E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Hans Freudenthal |
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 |
| F. William Lawvere. The category of categories as a foundation for mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla |
S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl |
Calvin C. Elgot |
The Journal of Symbolic Logic |
1974 |
| Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie |
Gert Heinz Müller |
Dieter Rödding |
The Journal of Symbolic Logic |
1973 |
| A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
R. E. Vesley |
The Journal of Symbolic Logic |
1973 |
| John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1973 |
| R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
Carl E. Gordon |
The Journal of Symbolic Logic |
1973 |
| David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1973 |
| Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Bruce Lercher |
The Journal of Symbolic Logic |
1972 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
James E. Baumgartner |
The Journal of Symbolic Logic |
1972 |
| Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
Mihály Makkai |
The Journal of Symbolic Logic |
1972 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. The theory of models, Proceedings of the 1963 International Symposium at Berkeley |
J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1972 |
