| The Problem of Induction and its Solution |
Jerrold J. Katz |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| Intuitionistic logic model theory and forcing |
Melvin Chris Fitting |
F. R. Drake |
The Journal of Symbolic Logic |
1971 |
| First-order functional calculus |
G. B. Keene |
William E. Gould |
The Journal of Symbolic Logic |
1971 |
| The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George |
Rudolf Carnap |
Anders Wedberg |
The Journal of Symbolic Logic |
1971 |
| The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference |
Frank B. Cannonito |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Juristische Logik |
Ulrich Klug |
Gert H. Müller |
The Journal of Symbolic Logic |
1971 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R. Korfhage |
Jiří Bečvář |
The Journal of Symbolic Logic |
1971 |
| Automation cybernetics and society |
F. H. George |
H. B. Enderton |
The Journal of Symbolic Logic |
1971 |
| L. W. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
Wolfgang Rautenberg |
The Journal of Symbolic Logic |
1971 |
| R. M. Hare |
|
Brian F. Chellas |
The Journal of Symbolic Logic |
1971 |
| Ten ontological or modal proofs for God's existence |
Charles Hartshorne |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| A Boolean algebra abstract and concrete |
A. P. Bowran |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Alexander Abian |
|
B. Rotman |
The Journal of Symbolic Logic |
1971 |
| Vollständige Systeme modaler und intuitionistischer Logik |
Kurt Schütte |
R. E. Vesley |
The Journal of Symbolic Logic |
1971 |
| On completeness and decidability of some non-definable notions of elementary hyperbolic geometry |
Wolfram Schwabhäuser |
Lesław W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| A. Heyting. Some remarks on intuitionism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
O. Chateaubriand |
The Journal of Symbolic Logic |
1971 |
| An introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
R. A. Bull |
The Journal of Symbolic Logic |
1971 |
| Einführung in die Verbandstheorie |
Hans Hermes |
Pascual Jordan |
The Journal of Symbolic Logic |
1971 |
| A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover |
H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics |
Ralph Seifert |
The Journal of Symbolic Logic |
1971 |
| Dana Scott. Logic with denumerably long formulas and finite strings of quantifiers. 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 |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Understanding symbolic logic |
Gerald J. Massey |
Gordon Matthews |
The Journal of Symbolic Logic |
1971 |
| R. J. Nelson |
|
Robert McNaughton |
The Journal of Symbolic Logic |
1971 |
| Gödel's intepretation of Heyting's arithmetic |
G. Kreisel |
D. van Dalen |
The Journal of Symbolic Logic |
1971 |
| Symbolic logic. An introduction |
Richmond H. Thomason |
Hans Hermes |
The Journal of Symbolic Logic |
1971 |
| Post canonical language |
W. L. Duda |
W. E. Singletary |
The Journal of Symbolic Logic |
1971 |
| Les logiques à plusieurs valeurs et l'automatique |
Gr. C. Moisil |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| Lógica elementar. I.T.A. Departamento de Humanidades, São Paulo |
Leônidas Hegenberg |
Florencio G. Asenjo |
The Journal of Symbolic Logic |
1971 |
| Intellectual autobiography. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Rudolf Carnap |
Maria Kokoszynska |
The Journal of Symbolic Logic |
1971 |
| Carol R. Karp. Finite-quantifier equivalence. 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 |
H. Jerome Keisler |
The Journal of Symbolic Logic |
1971 |
| Wolfram Schwabhäuser. On models of elementary elliptic geometry. 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 |
L. W. Szczerba |
The Journal of Symbolic Logic |
1971 |
| Omkring sprogteoriens grundlæggelse |
Louis Hjelmslev |
Bengt-Olof Qvarnström |
The Journal of Symbolic Logic |
1971 |
| Abstract set theory |
Thoralf A. Skolem |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Cours de Logique Mathematique |
Roland Fraisse |
D Ponasse |
The Journal of Symbolic Logic |
1970-12-01 |
| On Set Theoretical Foundations of System Theory: A Study of the State Concept |
Sampo Salovaara |
L A Zadeh |
The Journal of Symbolic Logic |
1970-12-01 |
| Kigo Ronrigaku (Meidai Ronri) |
Kiyoshi Iseki |
A Nakamura |
The Journal of Symbolic Logic |
1970-12-01 |
| Brains, Machines and Mathematics |
Michael A Arbib |
Joseph S Ullian |
The Journal of Symbolic Logic |
1970-09-01 |
| Sloznost Algoritmov i Vycislenij (Speckurs Dla Studentov Ngu) |
B A Trahtenbrot |
Jiri Becvar |
The Journal of Symbolic Logic |
1970-06-01 |
| Grundlagen der mathematik I |
D Hilbert |
G T Kneebone |
The Journal of Symbolic Logic |
1970-06-01 |
| Encyclopedia of Philosophy |
Paul Edwards |
Benson Mates |
The Journal of Symbolic Logic |
1970-06-01 |
| The Spirit of Western Philosophy |
Newton P Stallknecht |
Irving M Copi |
The Journal of Symbolic Logic |
1970-03-01 |
| Raeumliche Vorstellung und Mathematisches Erkenntnisvermoegen: Erster Band |
W A Verloren Van Thematt |
Hans Freudenthal |
The Journal of Symbolic Logic |
1970-03-01 |
| Philosophy of science a: formal approach |
Henry E Kyburg Jr |
David Miller |
The Journal of Symbolic Logic |
1970 |
| On acting on a belief |
Richard M. Martin |
J. Jay Zeman |
The Journal of Symbolic Logic |
1970 |
| British philosophy |
Anthony Quinton |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Logic, modern |
Albert E. Blumberg |
William Craig |
The Journal of Symbolic Logic |
1970 |
| Any and all |
Zeno Vendler |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Azriel Lévy. Definability in axiomatic set theory I. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress |
Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics |
F. R. Drake |
The Journal of Symbolic Logic |
1970 |
| Semantics |
Donald Kalish |
Benson Mates |
The Journal of Symbolic Logic |
1970 |
| Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz |
Antonio Diego |
C. G. McKay |
The Journal of Symbolic Logic |
1970 |
| Computing machines |
Gerald M. Weinberg |
William Craig |
The Journal of Symbolic Logic |
1970 |
