Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 2 of 14311 results
Sort by: relevance publication year

On Diophantine equations solvable in models of open induction

JOURNAL ARTICLE published June 1990 in Journal of Symbolic Logic

Authors: Margarita Otero

Partitions of products

JOURNAL ARTICLE published September 1993 in Journal of Symbolic Logic

Authors: Carlos A. Di Prisco | James M. Henle

Arithmetic with creative definitions by induction

JOURNAL ARTICLE published June 1953 in Journal of Symbolic Logic

Authors: John Myhill

John Cleave. The primitive recursive analysis of ordinary differential equations and the complexity of their solutions. Journal of computer and system sciences, vol. 3 (1969), pp. 447–455.

JOURNAL ARTICLE published June 1974 in Journal of Symbolic Logic

Authors: Webb Miller

Paul Edwards. Ordinary language and absolute certainty. Philosophical studies (Minneapolis), vol. 1 no. 1 (1950), pp. 8–16. - Paul Edwards. Necessary propositions and the future. The journal of philosophy, vol. 46 (1949), pp. 155–157. - John Dewey and Arthur F. Bentley. Knowing and the known. The Beacon Press, Boston1949, xiii + 334 pp.

JOURNAL ARTICLE published June 1950 in Journal of Symbolic Logic

Authors: Paul Ziff

Institutional Contributing subscribers to the Journal of Symbolic Logic

JOURNAL ARTICLE published December 1942 in Journal of Symbolic Logic

Wilfrid Sellars. The identity of linguistic expressions and the paradox of analysis. Philosophical studies, vol. 1 (1950), pp. 24–31. - Wilfrid Sellars. Gestalt qualities and the paradox of analysis. Philosophical studies, vol. 1 (1950), pp. 92–94.

JOURNAL ARTICLE published June 1951 in Journal of Symbolic Logic

Authors: J. F. Thomson

S. C. Kleene. On notation for ordinal numbers. The journal of symbolic logic, Bd. 3 (1938), S. 150–155.

JOURNAL ARTICLE published June 1939 in Journal of Symbolic Logic

Authors: Rózsa Péter

Errata

JOURNAL ARTICLE published December 1990 in The Journal of Symbolic Logic

William D. Duthie. Boolean functions of bounded variation. Duke mathematical journal, vol. 4 (1938), pp. 600–606.

JOURNAL ARTICLE published December 1938 in Journal of Symbolic Logic

Authors: J. C. C. McKinsey

Related Citations

JOURNAL ARTICLE published June 1936 in Journal of Symbolic Logic

Jan Berg. Bolzano's logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 2. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1962, 214 pp.

JOURNAL ARTICLE published September 1965 in Journal of Symbolic Logic

Authors: Leon Miller

Hector Neri Castañeda. A note on imperative logic. Philosophical studies (Minneapolis), vol. 6 (1955), pp. 1–4.

JOURNAL ARTICLE published March 1959 in Journal of Symbolic Logic

Authors: Jonathan Bennett

Alexander Philipov. Logic and dialectic in the Soviet Union. With a foreword by Ernest Nagel. Studies on the U.S.S.R. No. 1. Lithoprinted. Research Program on the U.S.S.R. (East European Fund, Inc.), New York1952, xi + 89 pp.

JOURNAL ARTICLE published September 1953 in Journal of Symbolic Logic

Authors: Alonzo Church

Moti Gitik and Menachem Magidor. The singular cardinal hypothesis revisited. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26, Springer-Verlag, New York etc. 1992, pp. 243–279.

JOURNAL ARTICLE published March 1995 in Journal of Symbolic Logic

Authors: James Cummings

JSL volume 83 issue 4 Cover and Front matter

JOURNAL ARTICLE published December 2018 in The Journal of Symbolic Logic

A. Ehrenfeucht and A. Mostowski. A compact space of models of first order theories. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 369–373.

JOURNAL ARTICLE published December 1970 in Journal of Symbolic Logic

Authors: G. Fuhrken

Eugen Gh. Mihailescu. Recherches sur l'équivalence et la réciprocité dans le calcul des propositions. Annales scientifiques de l'Université de Jassy, première partie, vol. 24 (1938), pp. 116–153.

JOURNAL ARTICLE published March 1938 in Journal of Symbolic Logic

Authors: Alonzo Church

Konrad Marc-Wogau.. Modern logik. Elementär lärobok. (Modern logic. An elementary text-book.) Ehlins Handböcker, Stockholm 1950, 211 pp. [With separate sheet of Rättelser (Corrections).]

JOURNAL ARTICLE published December 1952 in Journal of Symbolic Logic

Authors: Th. Skolem

Anton Dumitriu. History of logic. Volume III. Revised and enlarged English translation of Parts VI and VII of the second edition of Istoria logicii by Duiliu Zamfirescu, Dinu Giurcăneanu, and Doina Doneaud. Abacus Press, Tunbridge Wells, Kent, 1977, ix + 393 pp.

JOURNAL ARTICLE published June 1980 in Journal of Symbolic Logic

Authors: I. Grattan-Guinness