| Logic, computing machines, and automation |
Alice Mary Hilton |
Robert F. Barnes |
The 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 |
The Journal of Symbolic Logic |
1973 |
| Glenn James and Robert C. James, editors |
|
Ann S. Ferebee |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1973 |
| Sets, relations, and functions |
James F. Gray |
Alfons Borgers |
The Journal of Symbolic Logic |
1973 |
| Introduction to axiomatic set theory |
G. Takeuti and W. M. Zaring |
F. R. Drake |
The Journal of Symbolic Logic |
1973 |
| Modelle der Arithmetik |
R. MacDowell and E. Specker |
Robert G. Phillips |
The Journal of Symbolic Logic |
1973 |
| Introduction to combinatory logic |
J. R. Hindley, B. Lercher, and J. P. Seldin |
Henk Barendregt |
The Journal of Symbolic Logic |
1973 |
| The Logic of Preferences |
Georg Henrik Von Wright |
Sighard Roloff |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1972-12-01 |
| Studies in Inductive Logic and Probability |
R Carnap |
Henry E Kyburg |
Philosophy of Science |
1972-12-01 |
| Mathematical Logic and Formalised Theories: A Survey of Basic Concepts and Results |
Robert Roger |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1972-11-01 |
| Margins of Precision: Essays in Logic and Language |
Max Black |
Paul E. Wenger |
Philosophy & Rhetoric |
1972-10-00 |
| Probabilities, Problems and Paradoxes: Readings in Inductive Logic |
Sidney A Luckenback |
John D'Onofrio |
The Philosophy Forum |
1972-09-01 |
| Probability and Inductive Logic |
Henry E Kyburg Jr |
Michael Martin |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1972-07-01 |
| The Differentiation Theory of Meaning in Indian Logic |
Dhirendra Sharma |
Bimal Krishna Matilal |
Foundations of Language: International Journal of Language and Philosophy |
1972-07-01 |
| Probability and Inductive Logic |
Henry E Kyburg Jr |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1972-04-01 |
| The Logic of Choice: An Investigation of the Concepts of Rule and Rationality |
Gidon Gottlieb |
Donald P. Cushman |
Philosophy & Rhetoric |
1972-04-00 |
| Traditional Logic and the Venn Diagram |
V Cieutat |
Thomas G Nedzynski |
The Review of Metaphysics |
1972-03-01 |
| Logic and Metaphysics in Aristotle |
Walter Leszl |
Constantine Georgiadis |
Dialogue |
1972-03-01 |
| Mathematical Logic and Foundations of Set Theory |
Y Bar-Hillel |
F. R. Drake |
Synthese |
1972-03-00 |
| Studies in Inductive Logic and Probability, V1 |
R Carnap |
D Costantini |
Scientia: International Review of Scientific Synthesis |
1972-01-01 |
| The Development of Logic |
William Kneale and Martha Kneale |
John Myhill |
Archiv für Geschichte der Philosophie |
1972-01-01 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
George J Stack |
Journal of the History of Philosophy |
1972-01-01 |
| The theory ofsets and transfinite numbers |
B. Rotman and G. T. Kneebone |
Perry Smith |
The Journal of Symbolic Logic |
1972 |
| A. J. Perlis and K. Samelson. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April |
Richard Goodman |
Karel Čulík |
The Journal of Symbolic Logic |
1972 |
| Eduard Wette. Definition eines (relativ vollständigen) formalen Systems konstruktiver Arithmetik. Foundations of mathemattes, Symposium papers commemorating the sixtieth birthday of Kurt Gödel |
Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn |
G. Kreisel |
The Journal of Symbolic Logic |
1972 |
| Memory bounds for recognition of context-free and context-sensitive languages |
P. M. Lewis II, R. E. Stearns, and J. Hartmanis |
Walter J. Savitch |
The Journal of Symbolic Logic |
1972 |
| Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam |
A. Heyting, Studies in logic and the foundations of mathematics |
Bruce Lercher |
The Journal of Symbolic Logic |
1972 |
| An introduction to modal logic. A second printing, with corrections, of XXXVI 328 |
G. E. Hughes and M. J. Cresswell |
H. B. Enderton |
The Journal of Symbolic Logic |
1972 |
| The demarcation between science and metaphysics. A reprint of XXXVI 533. The philosophy of Rudolf Carnap, edited by Paul Arthur Schilpp, The library of living philosophers, vol |
Karl R. Popper |
Richard C. Jeffrey |
The Journal of Symbolic Logic |
1972 |
| Hierarchies of memory limited computations |
R. E. Stearns, J. Hartmanis, and P. M. LewisII |
Walter J. Savitch |
The Journal of Symbolic Logic |
1972 |
| Set Theory and its Logic |
Willard Van Orman Quine |
G. T. Kneebone |
The Journal of Symbolic Logic |
1972 |
| Classifications of computations by time and memory requirements |
J. Hartmanis, P. M. Lewis II, and R. E. Stearns |
Jiří Bečvář |
The Journal of Symbolic Logic |
1972 |
| Solomon Feferman. Some applications of the notions of forcing and generic sets (Summary). 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 |
James E. Baumgartner |
The Journal of Symbolic Logic |
1972 |
| Models and ultraproducts: An introduction |
J L Bell |
Perry Smith |
The Journal of Symbolic Logic |
1972 |
| Logic, automata, and algorithms. Revised English translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, translation editor |
Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1972 |
| Jon Barwise. Implicit definability and compactness in infinitary languages. The syntax and semantics of infinitary languages |
Jon Barwise, Lecture notes in mathematics, no. 72 |
Mihály Makkai |
The Journal of Symbolic Logic |
1972 |
| J. R. Shoenheld. Applications of model theory to degrees of unsolvability. 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 |
Gerald E. Sacks |
The Journal of Symbolic Logic |
1972 |
| Modal Logic and its Applications |
D P Snyder |
Ken Tohinaka |
The Review of Metaphysics |
1971-12-01 |
| Margins of Precision: Essays in Logic and Language |
Max Black |
Richmond Campbell |
Dialogue |
1971-12-01 |
| Normative Logic and Ethics |
Paul Lorenzen |
Reinhard Kamitz |
Theory and Decision: An International Journal for Methods and Models in the Social and Decision Sciences |
1971-10-01 |
| The Logic of Leviathan: The Moral and Political Theory of Thomas Hobbes |
David P. Gauthier |
Harold J. Johnson |
Ethics |
1971-10-01 |
| Logic and System. A Study of the Transition from "Vorstellung" to Thought in the Philosophy of Hegel |
M. Clark |
|
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1971-10-00 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
Angel Medina |
The New Scholasticism |
1971-09-01 |
| Formal and Transcendental Logic |
Edmund Husserl |
George J Stack |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1971-05-01 |
| Rules of Acceptance and Inductive Logic |
Risto Hilpinen |
Henry E Kyburg Jr |
Synthese |
1971-05-01 |
| Sense and Reference in Frege's Logic |
Christian Thiel |
Leonard Linsky |
The Philosophical Review |
1971-04-00 |
| Formal and Transcendental Logic |
Edmund Husserl |
Allen W. Wood |
The Philosophical Review |
1971-04-00 |
| Theory of Recursive Functions and Effective Computability |
Hartley Rogers Jr |
C E M Yates |
The Journal of Symbolic Logic |
1971-03-01 |
