13629 results in The Journal of Symbolic Logic
Reviews - Charles Parsons. The co-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1966
-
- Article
- Export citation
The Aristotelian Society Essay Prize-result
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
- Print publication:
- March 1966
-
- Article
- Export citation
Postulates for implicational calculi
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 7-9
- Print publication:
- March 1966
-
- Article
- Export citation
Jerzy Giedymin. A generalization of the refutability postulate. English with Polish and Russian summaries. Studia logica, vol. 10 (1960), pp. 97–110.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- March 1966
-
- Article
- Export citation
P. C. Gilmore. A program for the production from axioms, of proofs for theorems derivable within the first order predicate calculus. English, with English, French, German, Russian, and Spanish summaries. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, pp. 265–273. - J. Porte, P. C. Gilmore, Dag H. Prawitz, Håkon Prawitz, and Neri Voghera. Discussion. Information processing, Proceedings of the International Conference on Information Processing, Unesco, Paris 15–20 June 1959, Unesco, Paris, R. Oldenbourg, Munich, Butterworths, London, 1960, p. 273. - P. C. Gilmore. A proof method for quantification theory: Its justification and realization. IBM journal of research and development, vol. 4 (1960), pp. 28–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 124-125
- Print publication:
- March 1966
-
- Article
- Export citation
Leon Henkin. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 284–291.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- March 1966
-
- Article
- Export citation
Wolfgang Yourgrau and Donald Livingstone. On the matter of mathematical constants. Methodos, vol. 9 (1957), pp. 3–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
- Print publication:
- March 1966
-
- Article
- Export citation
Arto Salomaa. On infinitely generated sets of operations infinite algebras. Annales Universitatis Turkuensis, series A, I, Astronomica-chemica-physica-mathematica, no. 74. Turun Yliopisto, Turku1964, 13 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-120
- Print publication:
- March 1966
-
- Article
- Export citation
R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 (1947), pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 (1953), pp. 39–41.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- March 1966
-
- Article
- Export citation
Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Second, revised and enlarged, edition. Friedr. Vieweg & Sohn, Braunschweig1960, vii + 141 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1966
-
- Article
- Export citation
Theodore Hailperin. An incorrect theorem. The journal of symbolic logic, vol. 30 (1965), p. 27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
- Print publication:
- March 1966
-
- Article
- Export citation
Arto Salomaa. Some analogues of Sheffet functions in infinite-valued logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 227–235.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- March 1966
-
- Article
- Export citation
Hilary Putnam. On hierarchies and systems of notations. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 44–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
- Print publication:
- March 1966
-
- Article
- Export citation
Luís Washington Vita. Introduçāo à filosofia. With a preface by Miguel Reale. Edições Melhoramentos, São Paulo1964, 252 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1966
-
- Article
- Export citation
On formulas in which no individual variable occurs more than twice
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-6
- Print publication:
- March 1966
-
- Article
- Export citation
Georg Kreisel and Daniel Lacombe. Ensembles récursivement mesurables et ensembles récursivement ouverts ou fermés. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 1106–1109.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 133
- Print publication:
- March 1966
-
- Article
- Export citation
A. H. Lightstone. The axiomatic method. An introduction to mathematical logic.Prentice-Hall, Inc., Englewood Cliffs, N.J., 1964, x + 246 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-108
- Print publication:
- March 1966
-
- Article
- Export citation
Linear orderings under one-one reducibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-85
- Print publication:
- March 1966
-
- Article
- Export citation
A. J. Ayer. Names and descriptions. The concept of a person and other essays, by A. J. Ayer, Macmillan & Co. Ltd., London, and St. Martin's Press Inc., New York, 1963, pp. 129–161.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- March 1966
-
- Article
- Export citation
Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 (1963), pp. 67–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 120-122
- Print publication:
- March 1966
-
- Article
- Export citation