Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 14311 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

Authors: W. T. Parry

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

Authors: Rose Rand

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

Authors: Carol Karp

Quantifier elimination in tame infinite p-adic fields

JOURNAL ARTICLE published September 2001 in Journal of Symbolic Logic

Authors: Ingo Brigandt

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

Authors: Alasdair Urquhart

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

Authors: W. Marek

A correction to the sentential calculus of Tarski's Introduction To Logic.

JOURNAL ARTICLE published 24 March 1942 in Journal of Symbolic Logic

Authors: Daniel J. Bronstein

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

Authors: Stephen D. Comer

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

Authors: Gustav B. Hensel

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

Authors: Andreas Blass

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

Authors: Michael O. Rabin

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

Authors: George D. W. Berry

A Schanuel condition for Weierstrass equations

JOURNAL ARTICLE published June 2005 in Journal of Symbolic Logic

Authors: Jonathan Kirby

DEFINABILITY OF SATISFACTION IN OUTER MODELS

JOURNAL ARTICLE published September 2016 in The Journal of Symbolic Logic

Authors: SY-DAVID FRIEDMAN | RADEK HONZIK

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

Authors: William E. Gould

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

Authors: Alan Ross Anderson

Two step iteration of almost disjoint families

JOURNAL ARTICLE published March 2004 in Journal of Symbolic Logic

Authors: Jerry E. Vaughan

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

Authors: C. H. Langford