| Basic Set Theory |
Azriel Levy |
William Mitchell |
The Journal of Symbolic Logic |
1981 |
| Translations from the Philosophical Writings of Gottlob Frege |
Gottlob Frege |
Charles Parsons |
The Journal of Symbolic Logic |
1981 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
Thomas Jech |
The Journal of Symbolic Logic |
1981 |
| Set theory. Pure and applied mathematics |
Thomas Jech |
Keith J. Devlin |
The Journal of Symbolic Logic |
1981 |
| Phenomenology and logic |
Robert S. Tragesser |
David Woodruff Smith |
The Journal of Symbolic Logic |
1981 |
| Subjunctive reasoning |
John L. Pollock |
Timothy McCarthy |
The Journal of Symbolic Logic |
1981 |
| Beginning logic. Edited by George W. D. Berry. A revised reprint of XL 287(16) |
E J Lemon |
Sarah Stebbins |
The Journal of Symbolic Logic |
1981 |
| Truth Probability and Paradox: Studies in Philosophical Logic |
J. L. Mackie |
John T. Kearns |
The Journal of Symbolic Logic |
1981 |
| An introduction to the general theory of algorithms |
Michael Machtey |
Nancy Lynch |
The Journal of Symbolic Logic |
1981 |
| Les fondements des mathematiques. De la géometrie d'Euclide à la relativé générate et à l'intuitionisme. A reprint of 3411 |
Ferdinand Gonseth |
Peter Eggenberger |
The Journal of Symbolic Logic |
1981 |
| The unprovability of consistency. An essay in modal logic |
George Boolos |
C Smorynski |
The Journal of Symbolic Logic |
1981 |
| Nonarchimedean fields and asymptotic expansions |
A H Lightstone |
C. Ward Henson |
The Journal of Symbolic Logic |
1981 |
| Ian Hacking |
|
Richard E. Grandy |
The Journal of Symbolic Logic |
1981 |
| Leonard S. Bobrow and Michael A. Arbib |
|
Calvin C. Elgot |
The Journal of Symbolic Logic |
1981 |
| Descriptive set theory |
Yiannis N. Moschovakis |
Richard Mansfield |
The Journal of Symbolic Logic |
1981 |
| Willard van Orman Quine |
Alex Orenstein |
Joseph S Ullian |
The Journal of Symbolic Logic |
1980-06-01 |
| Selected Works of Giuseppe Peano |
Giuseppe Peano |
Warren D Goldfarb |
The Journal of Symbolic Logic |
1980-03-01 |
| The linguistic basis of logic translation |
Herbert R. Otto |
Robert L. Causey |
The Journal of Symbolic Logic |
1980 |
| Logic for Mathematicians |
J. Barkley Rosser |
H. B. Enderton |
The Journal of Symbolic Logic |
1980 |
| Logic: its use and basis |
H. G. Bohnert |
Leigh S. Cauman |
The Journal of Symbolic Logic |
1980 |
| Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt |
Hans Hermes |
Don Pigozzi |
The Journal of Symbolic Logic |
1980 |
| Lógica. 0 cálculo sentencial |
Leônidas Hegenberg |
Gregory W. Jones |
The Journal of Symbolic Logic |
1980 |
| Forcing, arithmetic, division rings |
J Hirschfeld |
H. Simmons |
The Journal of Symbolic Logic |
1980 |
| Automated theorem proving. A logical basis. Fundamental studies in computer science, vol |
Donald W. Loveland |
J. A. Robinson |
The Journal of Symbolic Logic |
1980 |
| Logic |
D M R Leivant |
Stephen Leeds |
The Journal of Symbolic Logic |
1980 |
| Einführung in die Logik |
Wilhelm K. Essler |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1980 |
| Logic. A comprehensive introduction |
S D Guttenplan |
Peter Eggenberger |
The Journal of Symbolic Logic |
1980 |
| Chance, cause, reason. An inquiry into the nature of scientific evidence |
Arthur W. Burks |
Ian Hacking |
The Journal of Symbolic Logic |
1980 |
| Tense Logic |
Robert P. McArthur |
Hans Kamp |
The Journal of Symbolic Logic |
1980 |
| History of logic. Volume III |
Anton Dumitriu |
I. Grattan-Guinness |
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 |
| Logic for mathematicians |
A. G. Hamilton |
W. A. Howard |
The Journal of Symbolic Logic |
1980 |
| Les Mathématiques et la réalité. Essai sur la méthode axiomatique |
Ferdinand Gonseth |
William Craig |
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 |
| Reason and Argument |
P. T. Geach |
Douglas F. Stalker |
The Journal of Symbolic Logic |
1980 |
| Lógica. 0 cálculo de predicados |
Leônidas Hegenberg |
Gregory W. Jones |
The Journal of Symbolic Logic |
1980 |
| Tableau systems for first order number theory and certain higher order theories |
Sue Toledo |
J. I. Zucker |
The Journal of Symbolic Logic |
1980 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
Richard Butrick |
The Journal of Symbolic Logic |
1980 |
| Modern Logic in the Service of Law |
Ilmar Tammelo |
Nicholas A. Vonneuman |
The Journal of Symbolic Logic |
1980 |
| Introduction to symbolic logic |
Karl J. Smith |
Ian F. Carlstrom |
The Journal of Symbolic Logic |
1980 |
| Philosophy of Logics |
Susan Haack |
Gilbert Harman |
The Journal of Symbolic Logic |
1980 |
| Dear Russell -- Dear Jourdaim |
I Grattan-Guiness |
G T Kneebone |
The Journal of Symbolic Logic |
1979-06-01 |
| Mathematical Developments Arising from Hilbert Problems |
Felix E Browder |
C Smorynski |
The Journal of Symbolic Logic |
1979-03-01 |
| Elementary induction on abstract structures |
Yiannis N. Moschovakis |
Wayne Richter |
The Journal of Symbolic Logic |
1979 |
| Mathematical logic |
J. Donald Monk |
Jeffrey B. Remmel |
The Journal of Symbolic Logic |
1979 |
| 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 |
| Dear Russell—dear Jourdain. A commentary on Russell's logic, based on his correspondence with Philip Jourdain |
I. Grattan-Guinness |
G. T. Kneebone |
The Journal of Symbolic Logic |
1979 |
| Investigations in modal and tense logics with application to problems in philosophy and linguistics |
Dov M. Gabbay |
Kit Fine |
The Journal of Symbolic Logic |
1979 |
| An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg |
E. J. Lemmon |
R. A. Bull |
The Journal of Symbolic Logic |
1979 |
