| Andrzej Mostowski. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
George S. Boolos |
The Journal of Symbolic Logic |
1970 |
| Basic verifiability in the combinatory theory of restricted generality |
Haskell B. Curry |
Richard J. Orgass |
The Journal of Symbolic Logic |
1970 |
| Martin Davis |
|
A. H. Lightstone |
The Journal of Symbolic Logic |
1970 |
| Charles Parsons |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Number |
David Bostock |
William Craig |
The Journal of Symbolic Logic |
1970 |
| R. B. Jensen. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
Frank R. Drake |
The Journal of Symbolic Logic |
1970 |
| Analysis, philosophical |
Morris Weitz |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Carnap, Rudolf |
Norman M. Martin |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Measurement, empirical meaningfulness, and three-valued logic |
Patrick Suppes |
Robert L. Causey |
The Journal of Symbolic Logic |
1970 |
| Hilbert, David |
Paul Bernays |
William Craig |
The Journal of Symbolic Logic |
1970 |
| J. L. Austin. The meaning of a word. Philosophical papers by J. L. Austin |
J L Austin |
James Cargile |
The Journal of Symbolic Logic |
1970 |
| Model theory and non-standard arithmetic |
A. Robinson |
William N. Reinhardt |
The Journal of Symbolic Logic |
1970 |
| Proper names and descriptions |
John R. Searle |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Calculus of Functions of One Argument |
E W Cogan |
William E Gould |
The Journal of Symbolic Logic |
1969-12-01 |
| Logic, Methodology, and Philosophy of Science |
B Van Rootselaar |
J J C Smart |
Australasian Journal of Philosophy |
1969-12-01 |
| Dimension in elementary Euclidean geometry |
Dana Scott |
Wolfram Schwabhäuser |
The Journal of Symbolic Logic |
1969-11-17 |
| The philosophy of Bertrand Russell |
Paul Arthur Schilpp |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1969-11-17 |
| A practical infinitistic computer |
L. Kalmár |
William E. Gould |
The Journal of Symbolic Logic |
1969-11-17 |
| Logiques construites par une méthode de déduction naturelle |
J. Dopp |
Dag Prawitz |
The Journal of Symbolic Logic |
1969-11-17 |
| Modal logics. Edited with some complements by Joseph Dopp |
Robert Feys |
Gerald J. Massey |
The Journal of Symbolic Logic |
1969-11-17 |
| Insolubilia. A reprint of 2813 |
Charles Sanders Peirce |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| Elementary functions and coordinate geometry |
Sze-Tsen Hu |
Alonzo Church |
The Journal of Symbolic Logic |
1969-11-17 |
| The Logic of Commands |
Nicolas Rescher |
James Thomson |
The Journal of Symbolic Logic |
1969-11-17 |
| The problem of predicativity |
J. R. Shoenfield |
George S. Boolos |
The Journal of Symbolic Logic |
1969-11-17 |
| J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
C. E. Bredlau |
The Journal of Symbolic Logic |
1969-11-17 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Herve Barreau |
Revue Philosophique de Louvain |
1969-11-01 |
| Logic and Reality in Leibniz's Metaphysics |
G H R Parkinson |
Jean Wahl |
Revue de Metaphysique et de Morale |
1969-10-01 |
| The Problem of Inductive Logic |
Imre Lakatos |
Frederic Schick |
The British Journal for the Philosophy of Science |
1969-10-01 |
| Polish Logic 1920-1939 Ajdukiewicz Chwistek Jaśkowski Jordan Leśnieski Łukasiewicz Słupecki Sobociński Wajsberg |
Tadeusz Kotarbiński |
Ivo Thomas |
The Philosophical Review |
1969-10-00 |
| Fate, logic, and time |
Steven M. Cahn |
R. M. Dancy |
The Philosophical Review |
1969-10-00 |
| Logic and Social Choice |
Y. Murakami |
Richard Kihlstrom |
Public Choice |
1969-10-00 |
| Logiques Construites Par Une Methode de Deduction Naturelle |
J Dopp |
Dag Prawitz |
The Journal of Symbolic Logic |
1969-09-01 |
| Contemporary Philosophy: La Philosophie contemporaine; Vol. I, Logic and Foundations of Mathematics |
Raymond Klibansky |
Alex C. Michalos |
Dialogue |
1969-09-01 |
| Logic by Way of Set Theory |
H. Ehlers |
J. R. Chidgey |
The British Journal for the Philosophy of Science |
1969-08-01 |
| Raymond L. Wilder. Introduction to the foundations of mathematics. Second edition of XIX 225 |
|
Krister Segerberg |
The Journal of Symbolic Logic |
1969-07-25 |
| The Logic of Saint Anselm |
Desmond Paul Henry |
Norman Kretzmann |
The Journal of Symbolic Logic |
1969-07-25 |
| Maurice Gross and André Lentin. Notions sur les grammaires formelles |
|
Andrzej Blikle |
The Journal of Symbolic Logic |
1969-07-25 |
| Two contributions to the foundations of set |
Richard Montague |
Solomon Feferman |
The Journal of Symbolic Logic |
1969-07-25 |
| Basic concepts of measurement |
Brian Ellis |
Robert L. Causey |
The Journal of Symbolic Logic |
1969-07-25 |
| Die Manningfaltigketi der Direktiven für die Gestaltung |
Paul Bernays |
G. T. Kneebone |
The Journal of Symbolic Logic |
1969-07-25 |
| Being, Negation and Logic |
Eric Toms |
Gerard Deledalle |
Les Études Philosophiques |
1969-07-01 |
| The Logic of Decision and Action |
Nicholas Rescher |
Robert W Beard |
The Journal of Value Inquiry |
1969-06-01 |
| The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos |
Isaac Levi |
Synthese |
1969-06-00 |
| Elements of mathematical logic. (Model theory) |
G. Kreisel and J. L. Krivine |
C. C. Chang |
The Journal of Symbolic Logic |
1969-05-29 |
| On a theorem of Cobham concerning undecidable theories |
Robert L. Vaught |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| W. Hanf. Model-theoretic methods in the study of elementary logic. 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 |
Verena H. Dyson |
The Journal of Symbolic Logic |
1969-05-29 |
| Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique |
Alan Rose |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| Mengenlehre und Logik. Dunker & Humblot, Berlin |
Abraham A. Fraenkel |
Thomas Frayne |
The Journal of Symbolic Logic |
1969-05-29 |
| Polish analytical philosophy. A survey and a comparison with British analytical philosophy. International Library of Philosophy and Scientific Method |
Henryk Skolimowski |
Krister Segerberg |
The Journal of Symbolic Logic |
1969-05-29 |
| Introduction to mathematical logic |
Elliott Mendelson |
Dirk van Dalen |
The Journal of Symbolic Logic |
1969-05-29 |
