| Induction, Probability, and Causation 2 reviews |
C D Broad |
J B Maund |
Philosophical Studies |
1973-01-01 |
| Philosophical Problems in Logic: Some Recent Developments 3 reviews |
K Lambert |
Tadeusz Zgolka |
Studia Logica |
1973-01-01 |
| Agent, Action, and Reason 2 reviews |
R Binkley |
Alan R White |
Mind |
1973-01-01 |
| Kentaurische Philosophie 4 reviews |
Hermann Wein |
George J Stack |
Philosophische Rundschau Eine Zeitschrift für philosophische Kritik |
1973-01-01 |
| L'ordre des Pensees 3 reviews |
Georges Beneze |
Jean-Louis Dumas |
Revue de Metaphysique et de Morale |
1973-01-01 |
| Conception of Tao∗ |
Lao Tzu |
Charles Wei-hsun Fu |
Inquiry |
1973-01-01 |
| The Logic of Norms (Review-article) / הלוגיקה של הנורמות: מאמר-ביקורת |
|
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1973-01-00 |
| Words and Objections: Essays on the Work of W. V. Quine 3 reviews |
Donald Davidson |
Richard E. Grandy |
Philosophical Review |
1973-01-00 |
| Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest1965, S. 45–51. - G. H. Müller. Rekursionsformen in der Zahlentheorie |
Gert Heinz Müller |
Dieter Rödding |
Journal of Symbolic Logic |
1973 |
| Non-standard models and independence of the induction axiom |
Michael O. Rabin |
C. Smorynski |
Journal of Symbolic Logic |
1973 |
| A. S. Troelstra. The theory of choice sequences. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
R. E. Vesley |
Journal of Symbolic Logic |
1973 |
| Normative systems |
Carlos E. Alchourrón and Eugenio Bulygin |
M. J. Cresswell |
Journal of Symbolic Logic |
1973 |
| John Myhill. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Martin Davis |
Journal of Symbolic Logic |
1973 |
| Individuals. An essay in descriptive metaphysics |
P. F. Strawson |
James Cargile |
Journal of Symbolic Logic |
1973 |
| R. Montague. Recursion theory as a branch of model theory. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam |
B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics |
Carl E. Gordon |
Journal of Symbolic Logic |
1973 |
| Einführung in die mathematische Logik. Klassische Prädikatenlogik 2 reviews |
Hans Hermes |
Erwin Engeler |
Journal of Symbolic Logic |
1973 |
| R. Harré. Preface. How I see philosophy, by F. Waismann |
R. Harré |
Alonzo Church |
Journal of Symbolic Logic |
1973 |
| Inductive inconsistencies |
Carl G. Hempel |
Asa Kasher |
Journal of Symbolic Logic |
1973 |
| A mathematical introduction to logic 2 reviews |
Herbert B. Enderton |
J. R. Shoenfield |
Journal of Symbolic Logic |
1973 |
| Model theory 4 reviews |
H. Jerome Keisler |
C. C. Chang |
Journal of Symbolic Logic |
1973 |
| The number systems. Foundations of algebra and analysis |
Solomon Feferman |
William E. Gould |
Journal of Symbolic Logic |
1973 |
| Introduction to metamathematics. Sixth printing of XIX 215 |
Stephen Cole Kleene |
H. B. Enderton |
Journal of Symbolic Logic |
1973 |
| Roger C. Lyndon |
|
J. C. Shepherdson |
Journal of Symbolic Logic |
1973 |
| Introduction |
Robert Wall |
Joseph S Ullian |
Journal of Symbolic Logic |
1973 |
| Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing |
A. J. H. Morrell |
Joyce Friedman |
Journal of Symbolic Logic |
1973 |
| David Isles. Regular ordinals and normal forms. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N. Y |
A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics |
Helmut Pfeiffer |
Journal of Symbolic Logic |
1973 |
| Logic, computing machines, and automation |
Alice Mary Hilton |
Robert F. Barnes |
Journal of Symbolic Logic |
1973 |
| Elementary logic 2 reviews |
Benson Mates |
Alonzo Church |
Journal of Symbolic Logic |
1973 |
| Language strata |
F. Waismann |
Alonzo Church |
Journal of Symbolic Logic |
1973 |
| Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers |
H. Jerome Keisler |
E. G. K. López-Escobar |
Journal of Symbolic Logic |
1973 |
| Theory construction |
J. J. C. Smart |
Alonzo Church |
Journal of Symbolic Logic |
1973 |
| Glenn James and Robert C. James, editors |
|
Ann S. Ferebee |
Journal of Symbolic Logic |
1973 |
| H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Jerome Malitz |
Journal of Symbolic Logic |
1973 |
| Wolfgang Stegmüller. Eine Axiomatisierung der Mengenlehre, beruhend auf den Systemen von Bernays und Quine. Logik und Logikkalkül |
Max Käsbauer and Franz von Kutschera |
Alfons Borgers |
Journal of Symbolic Logic |
1973 |
| Lincos: Design of a language for cosmic intercourse 2 reviews |
Hans Freudenthal |
Louis Narens |
Journal of Symbolic Logic |
1973 |
| Temporal modalities in Arabic logic |
Nicholas Rescher |
Hans Kamp |
Journal of Symbolic Logic |
1973 |
| Konstruktive Analysis |
Dieter Klaua |
Brian H. Mayoh |
Journal of Symbolic Logic |
1973 |
| The logical systems of Lesniewski 3 reviews |
Eugene C. Luschei |
John T. Kearns |
Journal of Symbolic Logic |
1973 |
| George Grätzer |
|
Kirby A. Baker |
Journal of Symbolic Logic |
1973 |
| A concise introduction to logic |
Ian Hacking |
Alfons Borgers |
Journal of Symbolic Logic |
1973 |
| Einführung in die mathematische Logik. Klassische Prädikatenlogik 2 reviews |
Hans Hermes |
Erwin Engeler |
Journal of Symbolic Logic |
1973 |
| On constructing models for arithmetic |
Dana Scott |
Elliott Mendelson |
Journal of Symbolic Logic |
1973 |
| Sets, relations, and functions |
James F. Gray |
Alfons Borgers |
Journal of Symbolic Logic |
1973 |
| Introduction to axiomatic set theory |
G. Takeuti and W. M. Zaring |
F. R. Drake |
Journal of Symbolic Logic |
1973 |
| Modelle der Arithmetik |
R. MacDowell and E. Specker |
Robert G. Phillips |
Journal of Symbolic Logic |
1973 |
| Introduction to combinatory logic |
J. R. Hindley, B. Lercher, and J. P. Seldin |
Henk Barendregt |
Journal of Symbolic Logic |
1973 |
| Analysis of first-order implications |
W. Craig |
Warren D. Goldfarb |
Journal of Symbolic Logic |
1973 |
| E. J. Lemmon |
|
Risto Hilpinen |
Journal of Symbolic Logic |
1973 |
| Le Corps et le Monde 3 reviews |
M De Tollenaere |
L Van Haecht |
Tijdschrift voor Filosofie |
1972-12-01 |
| Person und Dasein 3 reviews |
Manfred S Frings |
F J Smith |
Philosophy and Phenomenological Research |
1972-12-01 |
