Facet browsing currently unavailable
Page 1 of 14309 results
Sort by: relevance publication year
Wolfgang Schüler. Grundlegungen der Mathematik in transzendentaler Kritik, Frege und Hilbert, Schriften zur Transzendentalphilosophie, vol. 3, Felix Meiner Verlag, Hamburg1983, xv + 190 pp. JOURNAL ARTICLE published June 1989 in Journal of Symbolic Logic |
A. Robinson. Model theory and non-standard arithmetic. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 265–302. JOURNAL ARTICLE published March 1970 in Journal of Symbolic Logic |
Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. A cura di Francesca Rivetti Barbò. Vita e Pensiero, Milano1963, pp. VIII, 391–677, 1*-43*. JOURNAL ARTICLE published June 1966 in Journal of Symbolic Logic |
Sheila Greibach. A note on undecidable properties of formal languages. Mathematical systems theory, vol. 2 (1968), pp. 1–6. JOURNAL ARTICLE published June 1975 in Journal of Symbolic Logic |
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. JOURNAL ARTICLE published March 1975 in Journal of Symbolic Logic |
W. V. Quine. On decidability and completeness. Synthese, vol. 7 (1948–1949), pp. 441–446. JOURNAL ARTICLE published March 1951 in Journal of Symbolic Logic |
Association for Symbolic Logic JOURNAL ARTICLE published December 1987 in Journal of Symbolic Logic |
Mathematics and mind, edited by Alexander George, Logic and computation in philosophy, Oxford University Press, New York and Oxford1994, ix + 204 pp. JOURNAL ARTICLE published September 1995 in Journal of Symbolic Logic |
Josiah Royce. Axiom. Royce's logical essays, Wm. C. Brown Company, Dubuque1951, pp. 125–138. (Reprinted from Encyclopedia of religion and ethics, New York 1913.) JOURNAL ARTICLE published June 1952 in Journal of Symbolic Logic |
Katuzi Ono. On some properties of binary relations. Nagoya mathematical journal, vol. 12 (1957), pp. 161–170. JOURNAL ARTICLE published September 1959 in Journal of Symbolic Logic |
James Cooke Brown. Loglan 1: a logical language. Fourth edition. The Loglan Institute, Gainesville1989, 599 pp. JOURNAL ARTICLE published December 1991 in Journal of Symbolic Logic |
R. Montague and R. L. Vaught. Natural models of set theories. Fundamenta mathematical vol. 47 (1959), pp. 219–242. JOURNAL ARTICLE published June 1960 in Journal of Symbolic Logic |
Meeting of the Association for Symbolic Logic JOURNAL ARTICLE published 29 May 1969 in Journal of Symbolic Logic |
Errata JOURNAL ARTICLE published June 1939 in Journal of Symbolic Logic |
Alexander Abian. Boolean rings. Branden Press Publishers, Boston1976, ix + 394 pp. JOURNAL ARTICLE published December 1977 in Journal of Symbolic Logic |
The uniform regular set theorem in α-recursion theory JOURNAL ARTICLE published June 1978 in Journal of Symbolic Logic |
Clarence Irving Lewis. An analysis of knowledge and valuation. The Paul Carus lectures, seventh series, 1945. The Open Court Publishing Company, La Salle, Ill., 1946, xxi + 567 pp. JOURNAL ARTICLE published March 1948 in Journal of Symbolic Logic |
n-Valued Boolean Algebra. JOURNAL ARTICLE published December 1951 in The Journal of Symbolic Logic |
A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma (On the definition of an algorithm). Uspéhi matématičéskih nauk, vol. 13 no. 4 (1958), pp. 3–28. JOURNAL ARTICLE published December 1973 in Journal of Symbolic Logic |
P-ideal dichotomy and weak squares JOURNAL ARTICLE published March 2013 in The Journal of Symbolic Logic |