Facet browsing currently unavailable
Page 1 of 14309 results
Sort by: relevance publication year
The center of an orthologic JOURNAL ARTICLE published December 1972 in Journal of Symbolic Logic |
ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS JOURNAL ARTICLE published June 2018 in The Journal of Symbolic Logic |
Separating stationary reflection principles JOURNAL ARTICLE published March 2000 in Journal of Symbolic Logic |
SEPARATING DIAGONAL STATIONARY REFLECTION PRINCIPLES JOURNAL ARTICLE published March 2021 in The Journal of Symbolic Logic |
Resolution in type theory JOURNAL ARTICLE published September 1971 in Journal of Symbolic Logic |
MODEL THEORY AND COMBINATORICS OF BANNED SEQUENCES JOURNAL ARTICLE published March 2022 in The Journal of Symbolic Logic |
JSL Volume 67 issue 4 Cover and Front matter JOURNAL ARTICLE published December 2002 in Journal of Symbolic Logic |
Anders Wedberg. Filosofins historia. Antiken och medeltiden. (History of philosophy. Ancient and medieval.) Bonniers, Stockholm1958, 197 pp. JOURNAL ARTICLE published September 1960 in Journal of Symbolic Logic |
JSL volume 31 issue 3 Cover and Front matter JOURNAL ARTICLE published 2 September 1966 in Journal of Symbolic Logic |
Notices JOURNAL ARTICLE published December 1981 in Journal of Symbolic Logic |
Mike Prest. Model theory and modules. London Mathematical Society lecture note series, no. 130. Cambridge University Press, Cambridge etc. 1988, xviii + 380 pp. JOURNAL ARTICLE published September 1989 in Journal of Symbolic Logic |
Jean-Louis Destouches. La théorie physique et ses principes fondamentaux. With discussion by Bauer, Bayer, Julien Benda, Bouligand, Bréhier, Cazin, Césari, Mme. Destouches-Février, Hyppolite, Mme. Lévy-Strauss, Metz, Ullmo, Wolff, and the author. Bulletin de la Société française de Philosophie vol. 42 no. 1–2 (1948), pp. 1–32. JOURNAL ARTICLE published June 1950 in Journal of Symbolic Logic |
There exist two regressive sets whose intersection is not regressive JOURNAL ARTICLE published 9 October 1967 in Journal of Symbolic Logic |
Antonio Diego. Sur les algebres de Hilbert. With a preface by Jean Porte. French translation of XXXV 171 by Luisa Iturrioz. Collection de logique mathématique, series A, no. 21. Gauthier-Villars, Paris, and E. Nauwelaerts, Louvain, 1966, viii + 55 pp. JOURNAL ARTICLE published March 1970 in Journal of Symbolic Logic |
Index of reviews JOURNAL ARTICLE published December 1937 in Journal of Symbolic Logic |
Corrigendum to “Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers” JOURNAL ARTICLE published September 2005 in Journal of Symbolic Logic |
Lewis Carroll (pseudonym), Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an afterword by Paul Good. Tropen Verlag, Cologne, and Frommann-Holzboog, Stuttgart, 1998, 199 pp. - Paul Good, Logik—ein Spiel, Therein, pp. 103–119. JOURNAL ARTICLE published September 1999 in Journal of Symbolic Logic |
Yuki Wooyenaka. Remark on a set of postulates for distributive lattices. Proceedings of the Japan Academy, vol. 27 (1951), pp. 162–165. JOURNAL ARTICLE published March 1952 in Journal of Symbolic Logic |
A note on the isomorphism problem for SK[G] JOURNAL ARTICLE published September 2001 in Journal of Symbolic Logic |
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 (1953), pp. 7–10. JOURNAL ARTICLE published March 1955 in Journal of Symbolic Logic |