| Graph structure and monadic second-order logic. Encyclopedia of Mathematics and Its Applications, vol. 138 Bruno Courcelle Joost Engelfriet |
Bruno Courcelle |
Achim Blumensath |
The Bulletin of Symbolic Logic |
2013-09-00 |
| 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 |
| Subsystems of Second-Order Arithmetic |
Stephen G. Simpson |
Peter Cholak |
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 Symbolic Order |
Peter Abbs |
Alan Simpson |
Journal of Aesthetic Education |
1993-09-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 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival |
R. Downey |
The Journal of Symbolic Logic |
1992 |
| The Symbolic Order |
Peter Abbs |
Alan Simpson |
The British Journal of Aesthetics |
1991-04-01 |
| 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 |
| Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol |
Daniel Gallin |
Kenneth A. Bowen |
The Journal of Symbolic Logic |
1977 |
| Richard Montague. Set theory and higher-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 |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| First-order logic |
Raymond M. Smullyan |
William Craig |
The Journal of Symbolic Logic |
1975 |
| Decidability and definability in second-order theories |
Michael O. Rabin |
Dirk Siefkes |
The Journal of Symbolic Logic |
1975 |
| Analysis of first-order implications |
W. Craig |
Warren D. Goldfarb |
The Journal of Symbolic Logic |
1973 |
| First order mathematical logic |
Angelo Margaris |
A. H. Lightstone |
The Journal of Symbolic Logic |
1972 |
| First-order functional calculus |
G. B. Keene |
William E. Gould |
The Journal of Symbolic Logic |
1971 |
| Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic |
Andrzej Mostowski |
Raphael M. Robinson |
The Journal of Symbolic Logic |
1967 |
| 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 |
| Griss' criticism of the intuitionistic logic and the theory of order |
P. C. Gilmore |
David Nelson |
The Journal of Symbolic Logic |
1956 |
