| Introduction to metamathematics. Sixth printing of XIX 215 |
Stephen Cole Kleene |
H. B. Enderton |
The Journal of Symbolic Logic |
1973 |
| Roger C. Lyndon |
|
J. C. Shepherdson |
The Journal of Symbolic Logic |
1973 |
| Introduction |
Robert Wall |
Joseph S Ullian |
The 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 |
The 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 |
The Journal of Symbolic Logic |
1973 |
| Logic, computing machines, and automation |
Alice Mary Hilton |
Robert F. Barnes |
The Journal of Symbolic Logic |
1973 |
| Elementary logic |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Language strata |
F. Waismann |
Alonzo Church |
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 |
| Theory construction |
J. J. C. Smart |
Alonzo Church |
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 |
| Lincos: Design of a language for cosmic intercourse |
Hans Freudenthal |
Louis Narens |
The Journal of Symbolic Logic |
1973 |
| Temporal modalities in Arabic logic |
Nicholas Rescher |
Hans Kamp |
The Journal of Symbolic Logic |
1973 |
| Konstruktive Analysis |
Dieter Klaua |
Brian H. Mayoh |
The Journal of Symbolic Logic |
1973 |
| The logical systems of Lesniewski |
Eugene C. Luschei |
John T. Kearns |
The Journal of Symbolic Logic |
1973 |
| George Grätzer |
|
Kirby A. Baker |
The Journal of Symbolic Logic |
1973 |
| A concise introduction to logic |
Ian Hacking |
Alfons Borgers |
The Journal of Symbolic Logic |
1973 |
| Einführung in die mathematische Logik. Klassische Prädikatenlogik |
Hans Hermes |
Erwin Engeler |
The Journal of Symbolic Logic |
1973 |
| On constructing models for arithmetic |
Dana Scott |
Elliott Mendelson |
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 |
| Analysis of first-order implications |
W. Craig |
Warren D. Goldfarb |
The Journal of Symbolic Logic |
1973 |
| E. J. Lemmon |
|
Risto Hilpinen |
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 |
| The Study of Time |
J T Fraser |
Anonymous |
International Logic Review |
1972-12-01 |
| Studies in Inductive Logic and Probability |
R Carnap |
Henry E Kyburg |
Philosophy of Science |
1972-12-01 |
| Mathematical Logic: with Special Reference to the Natural Numbers |
S W P Steen |
Roberto Torretti |
Dialogos: Revista del Departamento de Filosofía Universidad de Puerto Rico |
1972-11-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 |
| Mathematical Logic: with Special Reference to the Natural Numbers |
S. W. P. Steen |
J. L. Bell |
The British Journal for the Philosophy of Science |
1972-11-01 |
| Margins of Precision: Essays in Logic and Language |
Max Black |
Paul E. Wenger |
Philosophy & Rhetoric |
1972-10-00 |
| The Logic of Education |
P. H. Hirst |
Glenn Langford |
Philosophy |
1972-10-00 |
| Probabilities, Problems and Paradoxes: Readings in Inductive Logic |
Sidney A Luckenback |
John D'Onofrio |
The Philosophy Forum |
1972-09-01 |
| The Logic of Empirical Theories |
Marian Przelecki |
Michael David Resnik |
Philosophy of Science |
1972-09-01 |
| Introduction to Logic |
Irving M Copi |
Alan Slomson |
The Philosophical Quarterly |
1972-07-01 |
| The Logic of Plurality |
J E J Altham |
Christopher McKnight |
The Philosophical Quarterly |
1972-07-01 |
| Historians' Fallacies: Toward a Logic of Historical Thought |
David Hackett Fischer |
Leon J Goldstein |
|
1972-07-01 |
| An Introduction to Modal Logic |
G E Hughes |
D Dubarle |
Archives de Philosophie |
1972-07-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 |
| Algebra Universale |
P M Cohn |
Anonymous |
International Logic Review |
1972-06-01 |
| Fra Logica e Storia |
E Garulli |
Anonymous |
International Logic Review |
1972-06-01 |
| An Introduction to Modal Logic |
G E Hughes |
Anonymous |
International Logic Review |
1972-06-01 |
| The Logic of Plurality |
J E J Altham |
Lee C Rice |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1972-05-01 |
| The Logic of Statistical Inference |
I Hacking |
G A Barnard |
The British Journal for the Philosophy of Science |
1972-05-01 |
| The Logic of Education |
P H Hirst |
Z R Prvulovich |
The Philosophical Quarterly |
1972-04-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 |
