| Structures in Mathematical Theories |
A Diaz |
John Bigelow |
History and Philosophy of Logic |
1993-01-01 |
| The Mathematical Philosophy of Bertrand Russell |
Francisco A Rodriguez-Consuegra |
Michele Di Francesco |
History and Philosophy of Logic |
1993-01-01 |
| The Mathematical Philosophy of Bertrand Russell |
Francisco A Rodriguez-Consuegra |
Gregory Landini |
Notre Dame Journal of Formal Logic |
1992-09-01 |
| Mathematical methods in linguistics. Studies in linguistics and philosophy, vol |
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall |
Lawrence S. Moss |
The Journal of Symbolic Logic |
1992 |
| Perspectives on the history of mathematical logic |
Thomas Drucker |
Stewart Shapiro |
The Journal of Symbolic Logic |
1992 |
| Mathematical intuition. Phenomenology and mathematical knowledge |
Richard L. Tieszen |
Guillermo E. Rosado Haddock |
The Journal of Symbolic Logic |
1991 |
| Classification theory, Proceedings of the U.S.-Israel workshop on model theory in mathematical logic held in Chicago, Dec. 15–19 |
J T Baldwin |
John B. Goode |
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 |
| Introduction to mathematical logic, Third edition of XXXIV 110 and XLV 631 |
Elliott Mendelson |
John Corcoran |
The Journal of Symbolic Logic |
1989 |
| An essay on mathematical instrumentalism |
Michael Detlefsen |
David D. Auerbach |
The Journal of Symbolic Logic |
1989 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| The computer modelling of mathematical reasoning |
Alan Bundy |
Vladimir Lifschitz |
The Journal of Symbolic Logic |
1987 |
| Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku |
Abram Aronovich Stolyar |
Diane Resek |
The Journal of Symbolic Logic |
1986 |
| A course in mathematical logic. Translated from the Russian by Neal Koblitz |
Yu. I. Manin |
George Boolos |
The Journal of Symbolic Logic |
1986 |
| The Nature of Mathematical Knowledge |
Philip Kitcher |
Albert C Lewis |
History and Philosophy of Logic |
1985-01-01 |
| Handbook of Mathematical Logic Jon Barwise H. J. Keisler Kenneth Kunen Y. N. Moschovakis A. S. Troelstra |
Jon Barwise |
Alasdair Urquhart |
Canadian Journal of Philosophy |
1984-12-00 |
| Handbook of Mathematical Logic |
Jon Barwise |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
Daniel Lascar |
The Journal of Symbolic Logic |
1984 |
| Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki |
Per Martin-Löf |
Wim Veldman |
The Journal of Symbolic Logic |
1984 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
W. A. Howard |
The Journal of Symbolic Logic |
1984 |
| Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia |
J. N. Crossley |
G. R. Renardel de Lavalette |
The Journal of Symbolic Logic |
1984 |
| Handbook of Mathematical Logic |
Jon Barwise |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1984 |
| An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej |
Andrzej Grzegorczyk |
E G K López-escobar |
The Journal of Symbolic Logic |
1983 |
| Popular lectures on mathematical logic |
Wang Hao |
H. Hermes |
The Journal of Symbolic Logic |
1982 |
| Mathematical knowledge. Contemporary philosophy |
Mark Steiner |
Michael Jubien |
The Journal of Symbolic Logic |
1982 |
| Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol |
Andreas Baudisch |
John Cowles |
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 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
Peggy Marchi |
Philosophy of the Social Sciences |
1980-12-01 |
| Handbook of Mathematical Logic |
J Barwise |
John N Crossley |
Australasian Journal of Philosophy |
1980-06-01 |
| Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt |
Hans Hermes |
Don Pigozzi |
The Journal of Symbolic Logic |
1980 |
| Introduction to mathematical logic |
Elliott Mendelson |
D. van Dalen |
The Journal of Symbolic Logic |
1980 |
| A Course in Mathematical Logic |
J L Bell |
Perry Smith |
The Journal of Symbolic Logic |
1980 |
| Foundations of mathematical logic. Corrected reprint of XXXVIII 149 |
Haskell B. Curry |
William Craig |
The Journal of Symbolic Logic |
1980 |
| Handbook of Mathematical Logic |
Jon Barwise |
John Bell |
The British Journal for the Philosophy of Science |
1979-09-01 |
| Mathematical Developments Arising from Hilbert Problems |
Felix E Browder |
C Smorynski |
The Journal of Symbolic Logic |
1979-03-01 |
| Mathematical logic |
J. Donald Monk |
Jeffrey B. Remmel |
The Journal of Symbolic Logic |
1979 |
| Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom) |
David Hilbert |
C. Smoryński |
The Journal of Symbolic Logic |
1979 |
| What Is Mathematical Logic? |
J N Crossley |
S Shapiro |
|
1978-10-01 |
| A Course in Mathematical Logic |
J. L. Bell |
Wilfrid Hodges |
The British Journal for the Philosophy of Science |
1978-06-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
W D Hart |
Mind |
1978-04-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
Daniel Isaacson |
The Philosophical Quarterly |
1978-04-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
Roberto Torritti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1978-04-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
I G McFetridge |
Philosophy |
1977-07-00 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
I. Lakatos |
W. V. Quine |
The British Journal for the Philosophy of Science |
1977-03-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
Imre Lakatos |
L Boon |
Kennis en Methode: Tijdschrift voor empirische Filosofie |
1977-01-01 |
| Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22 |
A. Blikle |
Steven S. Muchnick |
The Journal of Symbolic Logic |
1977 |
| What Is Mathematical Logic? John N. Crossley |
John N Crossley |
Stewart Shapiro |
Philosophy of Science |
1976-06-00 |
| What Is Mathematical Logic? |
J. N. Crossley |
José A. Robles |
Crítica: Revista Hispanoamericana de Filosofía |
1975-12-00 |
