13630 results in The Journal of Symbolic Logic
Ú. I. Ânov. О matričnyh shémah (On matrix schemata). Doklady Akadémii Nauk SSSR, Vol. 113 (1957), pp. 283–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 391
- Print publication:
- 09 October 1967
-
- Article
- Export citation
On a set theory of bernays
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-321
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Jaakko Hintikka. The once and future sea fight: Aristotle's discussion of future contingents in De Interpretatione ix. The Philosophical review, vol. 73 (1964), pp. 461–492.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-403
- Print publication:
- 09 October 1967
-
- Article
- Export citation
H. J. Keisler and A. Tarski. From accessible to inaccessible cardinals. Fundamenta mathematicae, vol. 53 (1964), pp. 225–308. (See corrections, ibid., vol. 57 (1965), p. 119.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 411
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A. H. Lachlan. A note on universal sets. The journal of symbolic logic, vol. 31 (1966), pp. 573–574.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 395
- Print publication:
- 09 October 1967
-
- Article
- Export citation
S. Ú. Maslov. О strogoj prédstavimosti množéstv isčisléniámi. Doklady Akadémii Nauk SSSR, Vol. 152 (1963), pp. 272–274. - S. Ju. Maslov. Strong representability of sets by calculi. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 4 no. 5 (1964), pp. 1292–1295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 391-392
- Print publication:
- 09 October 1967
-
- Article
- Export citation
C. E. M. Yates. Recursively enumerable sets and retracing functions. Zeitschrift für mathematische logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 331–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 394
- Print publication:
- 09 October 1967
-
- Article
- Export citation
All or none; A novel choice of primitives for elementary logic1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-351
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Petr Vopěnka. Modéli téorii množéstv (Modelle der Mengenlehre). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 281–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Michael O. Rabin. Classes of models and sets of sentences with the intersection property. Actes du Colloque de Mathématiques réuni à Ciermont à l'occasion du Tricentenaire de la Mort de Biaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Ciermont, no. 7, Mathématiques, part 1, Imprimerie Louis–Jean, Gap 1962, pp. 39–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 413
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 161–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 (1965), pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 (1965), pp. 1544–1545.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 393
- Print publication:
- 09 October 1967
-
- Article
- Export citation
The Philosopher's Index
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 429
- Print publication:
- 09 October 1967
-
- Article
- Export citation
C. E. M. Yates. Three theorems on the degrees of recursively enumerable sets. Duke mathematical journal, vol. 32 (1965), pp. 461–468.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
- Print publication:
- 09 October 1967
-
- Article
- Export citation
B. Á. Falévič. Novyj métod dokazatél'stva téorém népolnoty dlá sistém s pravilom Karnapa i égo Priložénié K voprosu vzaimootnošéniá klassičéskogo i konstruktivnogo analizov (New Method of proof of the incompleteness theorem for systems with Carnap's rule and its application to the question of the relation between classical and constructive analysis). Doklady Akadémii Nauk SSSR, vol. 120 (1958), pp. 1210–1213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 419
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Abraham Robinson and Elias Zakon. Elementary properties of ordered abelian groups. Transactions of the American Mathematical Society, vol. 96 (1960), pp. 222–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 414
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 (1959), pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 (for 1960, pub. 1962), pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 (1966), pp. 406–408.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 396-397
- Print publication:
- 09 October 1967
-
- Article
- Export citation
An introduction to hyperarithmetical functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 325-342
- Print publication:
- 09 October 1967
-
- Article
- Export citation
M. H. Stone. Free Boolean rings and algebras. Anais da Academia Brasileira de Ciências, vol. 26 (1954), pp. 9–17.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 415
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Frederick Binford. Solutions to the exercises in First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, ix + 173 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 422
- Print publication:
- 09 October 1967
-
- Article
- Export citation