| The Foundations of Mathematics in the Theory of Sets: Encyclopedia of Mathematics and Its Applications Ser., Vol. 82 |
John P Mayberry |
O Bradley Bassler |
Notre Dame Journal of Formal Logic |
2005-01-01 |
| Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography |
Yves Nievergelt |
Walter A. Carnielli |
Studia Logica |
2004-12 |
| A Structural Account of Mathematics |
Charles S Chihara |
Dale Jacquette |
History and Philosophy of Logic |
2004-11-01 |
| Mathematics in Art: Mathematical Visualization in Art and Education |
Claude P Bruter |
Walter Carnielli |
Logic and Logical Philosophy |
2004-01-01 |
| Philosophies of Mathematics |
Alexander George |
William Demopoulos |
History and Philosophy of Logic |
2003-01-01 |
| The Indispensability of Mathematics |
Mark Colyvan |
Javier De Lorenzo |
History and Philosophy of Logic |
2003-01-01 |
| The Search for Certainty: A Philosophical Account of Foundations of Mathematics |
Marcus Giaquinto |
Jean-Claude Dumoncel |
History and Philosophy of Logic |
2003-01-01 |
| Computability. Computable Functions, Logic, and the Foundations of Mathematics |
Richard L. Epstein |
Carlos Augusto Di Prisco |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
R Zach |
History and Philosophy of Logic |
2002-01-01 |
| The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel |
I Grattan-Guinness |
Ignacio Jané |
History and Philosophy of Logic |
2002-01-01 |
| Philosophy of Mathematics: An Anthology |
Dale Jacquette |
J C Dumoncel |
History and Philosophy of Logic |
2002-01-01 |
| Language, Truth and Logic in Mathematics |
Jaakko Hintikka |
Edwin D Mares |
Studia Logica |
2001-08-01 |
| Early Writings in the Philosophy of Logic and Mathematics |
Edmund Husserl |
Mark Van Atten |
Philosophia Mathematica |
2001-06-01 |
| Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics |
José Ferreirós |
Akihiro Kanamori |
The Bulletin of Symbolic Logic |
2001-06-00 |
| Computability: Computable Functions, Logic, and the Foundations of Mathematics (Second Edition) |
Richard L Epstein |
Simon Thompson |
Manuscrito |
2001-04-01 |
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics |
Yu. L. Ershov |
John N. Crossley |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Logic, Mathematics and Philosophy |
George Boolos |
Alex Oliver |
The British Journal for the Philosophy of Science |
2000-12-00 |
| Ontology, Logic, and Mathematics |
Matthias Schirn |
Janet Folina |
The British Journal for the Philosophy of Science |
2000-06-00 |
| Philosophy of Mathematics: Structure and Ontology |
Stewart Shapiro |
Geoffrey Hellman |
The Journal of Symbolic Logic |
1999 |
| Québec Studies in the Philosophy of Science. Part I: Logic, Mathematics, Physics, and History of Science. Essays in Honor of Hugues Leblanc |
Mathieu Marion |
Arthur E. Falk |
Philosophy in Review |
1997-01-01 |
| Inconsistent mathematics. Mathematics and its applications |
Chris Mortensen |
Newton C. A. da Costa |
The Journal of Symbolic Logic |
1997 |
| Closure spaces and logic. Mathematics and its applications |
Norman M. Martin and Stephen Pollard |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1997 |
| Vicious circles. On the mathematics of non-wellfounded phenomena |
Barwise Jon and Moss Lawrence |
M. Boffa |
The Journal of Symbolic Logic |
1997 |
| Edmund Husserl: Early Writings in the Philosophy of Logic and Mathematics |
Harrison B. Hall |
Richard Tieszen |
Journal of the British Society for Phenomenology |
1996-01-01 |
| Mathematics without Numbers: Towards a Modal-Structural Interpretation |
G Hellman |
A D Irvine |
History and Philosophy of Logic |
1994-01-01 |
| Proof and Knowledge in Mathematics |
Michael Detlefsen |
David Auerbach |
The Journal of Symbolic Logic |
1994 |
| Realism, Mathematics and Modality |
Hartry Field |
Alasdair Urquhart |
History and Philosophy of Logic |
1993-01-01 |
| The Space of Mathematics |
J Echeverria |
Albert C Lewis |
History and Philosophy of Logic |
1993-01-01 |
| Realism in Mathematics |
Penelope Maddy |
John Bigelow |
History and Philosophy of Logic |
1992-01-01 |
| Computing and Logic - Mathematics and LanguageGlen J. Satty |
Glen J Satty |
François Lepage |
Dialogue |
1991-01-01 |
| Varieties of constructive mathematics |
Douglas Bridges and Fred Richman |
D. van Dalen |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
The Journal of Symbolic Logic |
1991 |
| New Directions in the Philosophy of Mathematics |
Thomas Tymoczko |
Susan C Hale |
History and Philosophy of Logic |
1990-01-01 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
The Journal of Symbolic Logic |
1990 |
| History and philosophy of modern mathematics |
William Aspray |
Michael Hallett |
The Journal of Symbolic Logic |
1990 |
| K. Wagner and G. Wechsung, Computational complexity, Mathematics and its applications |
K Wagner |
Peter Van Emde Boas |
The Journal of Symbolic Logic |
1989 |
| Wittgenstein and the Turning-Point in the Philosophy of Mathematics |
S. G. Shanker |
Mark Steiner |
The Journal of Symbolic Logic |
1989 |
| Intensional Mathematics |
S Shapiro |
M Detlefsen |
History and Philosophy of Logic |
1988-01-01 |
| Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications |
L. L. Ivanov |
Dag Normann |
The Journal of Symbolic Logic |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics |
J. Philip Miller |
Robert Tragesser |
The Journal of Symbolic Logic |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics |
J. Philip Miller |
Robert Tragesser |
The Journal of Symbolic Logic |
1988 |
| Gottlob Frege: Collected Papers on Mathematics, Logic, and Philosophy |
G. Frege |
Robert H. Kimball |
The Review of Metaphysics |
1986-09-00 |
| Logic, Language, and Mathematics |
H Leblanc |
N C A Da Costa |
History and Philosophy of Logic |
1986-01-01 |
| Husserl and Realism in Logic and Mathematics |
Robert S Tragesser |
Dermot Moran |
Philosophical Studies |
1986-01-01 |
| Mathematics: The Loss of Certainty |
Morris Kline |
David B Resnik |
History and Philosophy of Logic |
1986-01-01 |
| Husserl and Realism in Logic and Mathematics |
Robert S Tragesser |
David Bell |
Philosophical Books |
1986-01-01 |
| Husserl and Realism in Logic and Mathematics |
Robert S. Tragesser |
John J. Drummond |
The Review of Metaphysics |
1985-06-00 |
