13629 results in The Journal of Symbolic Logic
The Aristotelian Society prize for an essay in the philosophy of mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1963
-
- Article
- Export citation
S. Jaśkowski. Example of a class of systems of ordinary differential equations having no decision method for existence problems. Bulletin de l'Académie Polonaise des Sciences, classe troisième, vol. 2 (1954), pp. 155–157. - S. Jaśkowski. Primér klassa sistém obyknovénnyh différéncial′nyh uravnénij, né iméúščégo algorifma razréšmosti dlá problém o suščéstvovanii. Russian version of the preceding. Búllétén′ Pol′skoj Akadémii Nauk, Otd. 3, vol. 2 (1954), pp. 153–155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 103
- Print publication:
- March 1963
-
- Article
- Export citation
Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. v-vi
- Print publication:
- March 1963
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 109-111
- Print publication:
- March 1963
-
- Article
- Export citation
Raili Kauppi. Käsitteen sisällys ja ala (Intension and extension of concepts). Ajatus, vol. 18 (1954), pp. 55–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1963
-
- Article
- Export citation
Paul Bernays. Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht. Synthese, vol. 13 (for 1961, pub. 1962). pp. 185–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1963
-
- Article
- Export citation
John Tucker. Constructivity and grammar. Proceedings of the Aristotelian Society, n.s. vol. 63 (1963), pp. 45–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 107-109
- Print publication:
- March 1963
-
- Article
- Export citation
Recursive real numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-16
- Print publication:
- March 1963
-
- Article
- Export citation
B. A. Trakhtenbrot. Algorithms and automatic computing machines. Translated and adapted from the second Russian edition (1960) by Jerome Kristian, James D. McCawley, and Samuel A. Schmitt. D. C. Heath and Company, Boston 1963, vi + 101 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- March 1963
-
- Article
- Export citation
R. L. Goodstein. Mathematical logic. Leicester University Press, Leicester1957, viii + 104 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1963
-
- Article
- Export citation
What is strict implication?
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-71
- Print publication:
- March 1963
-
- Article
- Export citation
Fellowship and research opportunities in mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1963
-
- Article
- Export citation
JSL volume 28 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1963
-
- Article
-
- You have access
- Export citation
Alonzo Church. Mathematics and logic. Logic, methodology and philosophy of science, Proceedings of the I960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 181–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- March 1963
-
- Article
- Export citation
A. Š. Bloh. O kanoničéskom métodé sintéza kontaktnyh shém (About canonical method of synthesis of contact circuits). Russian with English summary. Avtomatika i téléméhanika, vol. 23 (1962), pp. 503–508.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- March 1963
-
- Article
- Export citation
A note on many·one reducibility
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-42
- Print publication:
- March 1963
-
- Article
- Export citation
Policy Announcement
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1963
-
- Article
- Export citation
A method of modelling the formalism of set theory in axiomatic set theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 20-34
- Print publication:
- March 1963
-
- Article
- Export citation
Axiomatization of the infinite-valued predicate calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-86
- Print publication:
- March 1963
-
- Article
- Export citation
W. W. Tait. Nested recursion. Mathematische Annalen, Bd. 143 (1961), S. 236–250.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1963
-
- Article
- Export citation