| Fragments of First-Order Logic |
Ian Pratt-Hartmann |
Frank Wolter |
Studia Logica |
2025-06-26 |
| First-Order Logic: A Concise Introduction |
John Heil |
Cecilea Mun |
Teaching Philosophy |
2022-12-01 |
| A Philosophical Companion to First-Order Logic |
R I G Hughes |
Allan Hillman |
Essays in Philosophy |
2003-06-01 |
| First-Order Logic: An Introduction |
Leigh S Cauman |
James W McGray |
Teaching Philosophy |
2000-12-01 |
| First-Order Logic: An Introduction |
Leigh S Cauman |
Jonathan E Adler |
The Journal of Philosophy |
2000-10-01 |
| First-Order Logic: An Introduction |
Leigh S. Cauman |
Michele Friend |
Philosophy in Review |
2000-01-01 |
| Third edition of LVIII 362 |
The language of first-order logic 4.0 Jon Barwise and John Etchemendy |
Don Fallis |
The Journal of Symbolic Logic |
1999 |
| Extensions of first order logic |
María Manzano |
Yde Venema |
The Journal of Symbolic Logic |
1998 |
| Automorphisms of first-order structures |
Richard Kaye and Dugald Macpherson |
Gregory Cherlin |
The Journal of Symbolic Logic |
1996 |
| First-order logic. Corrected republication of XL 237 |
Raymond M. Smullyan |
Jeremy Avigad |
The Journal of Symbolic Logic |
1996 |
| Metamathematics of first-order arithmetic |
Petr Hájek and Pavel Pudlák |
Richard Kaye |
The Journal of Symbolic Logic |
1995 |
| Computability in combinatory spaces. An algebraic generalization of abstract first order computability |
Dimiter G. Skordev |
Dag Normann |
The Journal of Symbolic Logic |
1995 |
| The Language of First-Order Logic (Third Edition) |
Jon Barwise and John Etchemendy |
Louis Marinoff |
Canadian Philosophical Reviews |
1994-06-01 |
| The Language of First-Order Logic, Including the Macintosh Program Tarski's World |
Jon Barwise |
Doug Goldson |
The Philosophical Quarterly |
1994-04-01 |
| The Language of First-Order Logic (Third Edition) |
Jon Barwise and John Etchemendy |
Larry Hauser |
History and Philosophy of Logic |
1994-01-01 |
| A Philosophical Companion to First-Order Logic |
R I G Hughes |
E J Lowe |
History and Philosophy of Logic |
1994-01-01 |
| The Language of First-Order Logic (Third Edition) including Tarski's World 4.0 |
Jon Barwise and John Etchemendy |
Louis Marinoff |
Philosophy in Review |
1994-01-01 |
| First-order logic and automated theorem proving |
Melvin Fitting |
Alfredo Ferro |
The Journal of Symbolic Logic |
1993 |
| The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2) |
Jon Barwise |
Kevin J. Compton |
The Journal of Symbolic Logic |
1993 |
| First-order dynamic logic |
David Harel |
Jerzy Tiuryn |
The Journal of Symbolic Logic |
1982 |
| Tableau systems for first order number theory and certain higher order theories |
Sue Toledo |
J. I. Zucker |
The Journal of Symbolic Logic |
1980 |
| First-order logic |
Raymond M. Smullyan |
William Craig |
The Journal of Symbolic Logic |
1975 |
| Analysis of first-order implications |
W. Craig |
Warren D. Goldfarb |
The Journal of Symbolic Logic |
1973 |
| Metalogic: An Introduction to the Metatheory of Standard First Order Logic |
Geoffrey Hunter |
M J Cresswell |
The Philosophical Quarterly |
1972-01-01 |
| First order mathematical logic |
Angelo Margaris |
A. H. Lightstone |
The Journal of Symbolic Logic |
1972 |
| First-order logic |
R M Smullyan |
R Beneyto |
Teorema |
1971-09-01 |
| First-order functional calculus |
G. B. Keene |
William E. Gould |
The Journal of Symbolic Logic |
1971 |
| Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
F. C. Oglesby |
The Journal of Symbolic Logic |
1966 |
