| On the use of Hilbert's ε-operator in scientific theories |
Rudolf Carnap |
H. Bohnert |
Journal of Symbolic Logic |
1971 |
| The Problem of Induction and its Solution |
Jerrold J. Katz |
Alonzo Church |
Journal of Symbolic Logic |
1971 |
| Intuitionistic logic model theory and forcing |
Melvin Chris Fitting |
F. R. Drake |
Journal of Symbolic Logic |
1971 |
| First-order functional calculus |
G. B. Keene |
William E. Gould |
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 |
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 |
Journal of Symbolic Logic |
1971 |
| Juristische Logik |
Ulrich Klug |
Gert H. Müller |
Journal of Symbolic Logic |
1971 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R. Korfhage |
Jiří Bečvář |
Journal of Symbolic Logic |
1971 |
| Automation cybernetics and society |
F. H. George |
H. B. Enderton |
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 |
Journal of Symbolic Logic |
1971 |
| R. M. Hare |
|
Brian F. Chellas |
Journal of Symbolic Logic |
1971 |
| Ten ontological or modal proofs for God's existence |
Charles Hartshorne |
Perry Smith |
Journal of Symbolic Logic |
1971 |
| A Boolean algebra abstract and concrete |
A. P. Bowran |
Ann S. Ferebee |
Journal of Symbolic Logic |
1971 |
| Alexander Abian |
|
B. Rotman |
Journal of Symbolic Logic |
1971 |
| Vollständige Systeme modaler und intuitionistischer Logik |
Kurt Schütte |
R. E. Vesley |
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 |
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 |
Journal of Symbolic Logic |
1971 |
| An introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
R. A. Bull |
Journal of Symbolic Logic |
1971 |
| Einführung in die Verbandstheorie |
Hans Hermes |
Pascual Jordan |
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 |
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 |
Journal of Symbolic Logic |
1971 |
| Understanding symbolic logic |
Gerald J. Massey |
Gordon Matthews |
Journal of Symbolic Logic |
1971 |
| R. J. Nelson |
|
Robert McNaughton |
Journal of Symbolic Logic |
1971 |
| Gödel's intepretation of Heyting's arithmetic |
G. Kreisel |
D. van Dalen |
Journal of Symbolic Logic |
1971 |
| Symbolic logic. An introduction |
Richmond H. Thomason |
Hans Hermes |
Journal of Symbolic Logic |
1971 |
| Post canonical language |
W. L. Duda |
W. E. Singletary |
Journal of Symbolic Logic |
1971 |
| Les logiques à plusieurs valeurs et l'automatique |
Gr. C. Moisil |
Alonzo Church |
Journal of Symbolic Logic |
1971 |
| Lógica elementar. I.T.A. Departamento de Humanidades, São Paulo |
Leônidas Hegenberg |
Florencio G. Asenjo |
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 |
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 |
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 |
Journal of Symbolic Logic |
1971 |
| Omkring sprogteoriens grundlæggelse |
Louis Hjelmslev |
Bengt-Olof Qvarnström |
Journal of Symbolic Logic |
1971 |
| Abstract set theory |
Thoralf A. Skolem |
Perry Smith |
Journal of Symbolic Logic |
1971 |
| Raeumliche Vorstellung und Mathematisches Erkenntnisvermoegen: Erster Band |
W A Verloren Van Thematt |
H Roelants |
Tijdschrift voor Filosofie |
1970-12-01 |
| Cours de Logique Mathematique |
Roland Fraisse |
D Ponasse |
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 |
Journal of Symbolic Logic |
1970-12-01 |
| De Aequivalentie in de Natuur |
W A Molengraaff |
H Roelants |
Tijdschrift voor Filosofie |
1970-12-01 |
| Wiskunde in Wetenschap en Dagelijks Leven |
H Freudenthal |
H Roelants |
Tijdschrift voor Filosofie |
1970-12-01 |
| Theory Building |
Robert Dubin |
James E Tomberlin |
Philosophy and Phenomenological Research |
1970-12-01 |
| Kigo Ronrigaku (Meidai Ronri) |
Kiyoshi Iseki |
A Nakamura |
Journal of Symbolic Logic |
1970-12-01 |
| Eschatologie et Cosmologie |
Armand Abel |
Jean-Paul Audet |
Dialogue |
1970-12-01 |
| Theorie Axiomatique des Ensembles |
Jean-Louis Krivine |
Yvon Gauthier |
Dialogue |
1970-12-01 |
| An Essay in Deontic Logic and the General Theory of Action |
Georg Henrik Von Wright |
A N Prior |
Ratio |
1970-12-01 |
| Analytical Solipsism |
William Todd |
Timothy L S Sprigge |
Inquiry |
1970-12-01 |
| A Materialist Theory of the Mind |
D M Armstrong |
R H Kane |
Review of Metaphysics |
1970-12-01 |
| Modern Science and Zeno's Paradoxes |
Adolf Gruenbaum |
Wesley C Salmon |
Ratio |
1970-12-01 |
| Problems in the Philosophy of Mathematics |
Imre Lakatos |
John Cleave |
Ratio |
1970-12-01 |
| La philosophie de Whitehead et le problème de Dieu |
Alix Parmentier |
Harvey H. Brimmer |
Southern Journal of Philosophy |
1970-12-01 |
| Kentaurische Philosophie |
Hermann Wein |
Dieter Misgeld |
Dialogue |
1970-12-01 |
| An Inquiry into Meaning and Truth |
Bruce Waters |
|
Dialogue |
1970-12-01 |
