| Einführung in die mathematische Logik. Klassische Prädikatenlogik |
Hans Hermes |
Erwin Engeler |
The Journal of Symbolic Logic |
1973 |
| R. Harré. Preface. How I see philosophy, by F. Waismann |
R. Harré |
Alonzo Church |
The Journal of Symbolic Logic |
1973 |
| Inductive inconsistencies |
Carl G. Hempel |
Asa Kasher |
The Journal of Symbolic Logic |
1973 |
| A mathematical introduction to logic |
Herbert B. Enderton |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1973 |
| Model theory |
H. Jerome Keisler |
C. C. Chang |
The Journal of Symbolic Logic |
1973 |
| The number systems. Foundations of algebra and analysis |
Solomon Feferman |
William E. Gould |
The Journal of Symbolic Logic |
1973 |
| 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 |
| Symbolic logic |
John Venn |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| 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 |
| Abstrakte Automaten |
Peter H. Starke |
Arto Salomaa |
The Journal of Symbolic Logic |
1972 |
| Leçons sur la théorie des automates mathématiques |
C. Boucher |
Andrzej Blikle |
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 |
| Les fonctions combinatoires et les isols |
J. C. E. Dekker |
Alfred B. Manaster |
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 |
| Robert McNaughton. The theory of automata, a survey. Advances in computers, Volume 2 |
Franz L. Alt |
S. Huzino |
The Journal of Symbolic Logic |
1972 |
| Proceedings of the Second Scandinavian Logic Symposium |
J. E. Fenstad |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1972 |
| Elementary lope |
Benson Mates |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Logics without existence assumptions |
Rolf Schock |
Theodore Hailperin |
The Journal of Symbolic Logic |
1972 |
| On the work of Alan Baker |
Paul Turán |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| Some applications of degrees |
J. R. Shoenheld |
S. K. Thomason |
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 |
| Introductory note |
Jean van Heijenoort |
Alonzo Church |
The Journal of Symbolic Logic |
1972 |
| The Language of Time |
Richard M. Gale |
Nino B. Cocchiarella |
The Journal of Symbolic Logic |
1972 |
