Facet browsing currently unavailable
Page 2 of 14312 results
Sort by: relevance publication year
Sören Halldén. On the semantic non-completeness of certain Lewis calculi. The journal of symbolic logic, vol. 16 (1951), pp. 127–129. JOURNAL ARTICLE published December 1951 in Journal of Symbolic Logic |
Jan Łukasiewicz. Uwagi filozoficzne o wielowartościowych systemach rachunku zdań. Polish translation of 1868 by Egon Vielrose. edited by Jerzy Słupecki, Państwowe Wydawnictwo Naukowe, Warsaw1961, pp. 144–163. JOURNAL ARTICLE published 26 April 1968 in Journal of Symbolic Logic |
Erwin Engeler. A reduction-principle for infinite formulas. Mathematische Annalen, vol. 151 (1963), pp. 296–301. JOURNAL ARTICLE published 26 April 1968 in Journal of Symbolic Logic |
Quantifier elimination in tame infinite p-adic fields JOURNAL ARTICLE published September 2001 in Journal of Symbolic Logic |
Raymond Balbes and Philip Dwinger. Distributive lattices. University of Missouri Press, Columbia1974, xiii + 294 pp. JOURNAL ARTICLE published December 1977 in Journal of Symbolic Logic |
Fourth biennial meeting of the Philosophy of Science Association JOURNAL ARTICLE published December 1973 in Journal of Symbolic Logic |
Observations concerning elementary extensions of ω-models. II JOURNAL ARTICLE published June 1973 in Journal of Symbolic Logic |
A correction to the sentential calculus of Tarski's Introduction To Logic. JOURNAL ARTICLE published 24 March 1942 in Journal of Symbolic Logic |
Aubert Daigneault. Operations in polyadic algebras. Transactions of the American Mathematical Society, vol. 158 (1971), pp. 219–229. JOURNAL ARTICLE published June 1973 in Journal of Symbolic Logic |
Gerald E. Sacks. On suborderings of degrees of recursive unsolvability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 46–56. JOURNAL ARTICLE published December 1964 in Journal of Symbolic Logic |
Michael Makkai and Robert Paré. Accessible categories: the foundations of categorical model theory. Contemporary mathematics, vol. 104. American Mathematical Society, Providence1989, viii + 176 pp. JOURNAL ARTICLE published March 1993 in Journal of Symbolic Logic |
A. Fröhlich and J. C. Shepherdson. On the factorisation of polynomials in a finite number of steps. Mathematische Zeitschrift, vol. 62, no. 4 (1955), pp. 331–334. - A. Fröhlich and J. C. Shepherdson. Effective procedures in field theory. Philosophical transactions of the Royal Society of London, Series A, vol. 248 (1955–1956), pp. 407–432. JOURNAL ARTICLE published June 1959 in Journal of Symbolic Logic |
A statement of policy JOURNAL ARTICLE published March 1936 in Journal of Symbolic Logic |
Nelson Goodman. On the simplicity of ideas. The journal of symbolic logic, vol. 8 (1943), pp. 107–121. JOURNAL ARTICLE published June 1944 in Journal of Symbolic Logic |
A Schanuel condition for Weierstrass equations JOURNAL ARTICLE published June 2005 in Journal of Symbolic Logic |
DEFINABILITY OF SATISFACTION IN OUTER MODELS JOURNAL ARTICLE published September 2016 in The Journal of Symbolic Logic |
Gerson B. Robison. An introduction to mathematical logic. Prentice-Hall, Inc., Engle wood Cliffs, N.J., 1969, xii + 212 pp. JOURNAL ARTICLE published December 1971 in Journal of Symbolic Logic |
Atwell R. Turquette. Many-valued logics and systems of strict implication. The philosophical review, vol. 63 (1954), pp. 365–379. JOURNAL ARTICLE published September 1957 in Journal of Symbolic Logic |
Two step iteration of almost disjoint families JOURNAL ARTICLE published March 2004 in Journal of Symbolic Logic |
Celia Fremlin. Must we always think in propositions?Analysis, vol. 5 (1937–1938), pp. 17–27. JOURNAL ARTICLE published June 1938 in Journal of Symbolic Logic |