13629 results in The Journal of Symbolic Logic
Abraham A. Fraenkel. Mengenlehre und Logik. Dunker & Humblot, Berlin1959, 110 pp. - Abraham A. Fraenkel. Set theory and logic. Revised English translation of the above. Addison-Wesley Publishing Company, Reading, Massachusetts, Palo Alto, London, Don Mills, Ontario, 1966, vii + 102 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
- Print publication:
- 29 May 1969
-
- Article
- Export citation
P. T. Geach. Russell on meaning and denoting. Analysis (Oxford), vol. 19 (1959), pp. 69–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 143-144
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A choice free theory of Dedekind cardinals1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-84
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Some nondistributive lattices as initial segments of the degrees of unsolvability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-98
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Alan Rose. Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A, no. 5, lithographed (“dactyl-spécial”). Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 87–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 121
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A second order logic of existence1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 57-69
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Frederic B. Fitch. A theory of logical essences. The monist, vol. 51 (1967), pp. 104–109. - Frederic B. Fitch. A complete and consistent modal set theory. The journal of symbolic logic, vol. 32 (1967), pp. 93–103.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 125
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Rolf Schock. On induction.Notre Dame journal of formal logic, vol. 6 no. 3 (1965), pp. 235–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 139
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Setsuya Seki. Tyógen ronpó ni tuite (On transfinite arguments). Sûgaku, vol. 7 no. 1 (1955), p. 31.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 632
- Print publication:
- January 1969
-
- Article
- Export citation
Ph. Dwinger. A note on the completeness of factor algebras of α-complete Boolean algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 62 (1959), pp. 376–383; also Indagationes mathematicae, vol. 21 (1959), pp. 376–383.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
- Print publication:
- January 1969
-
- Article
- Export citation
U. I. Žuravlév. Algoritmy s konéčnoj pamáťú nad dizúnktivnymi normal′nymi formami (Algorithms with finite memory on disjunctive normal forms). Diskrétnyj analiz (Novosibirsk), no. 1 (1963), pp. 5–12.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 630
- Print publication:
- January 1969
-
- Article
- Export citation
Toshio Umezawa. On logics intermediate between intuitionistic and classical predicate logic. The journal of symbolic logic, vol. 24 no. 2 (for 1959, pub. 1960), pp. 141–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
- Print publication:
- January 1969
-
- Article
- Export citation
R. L. Goodstein and R. D. Lee. A decidable class of equations in recursive arithmetic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 235–239.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 618-619
- Print publication:
- January 1969
-
- Article
- Export citation
J. R. Lucas. Minds, machines and Gödel. Philosophy, vol. 36 (1961), pp. 112–127. - Paul Benacerraf. God, the devil, and Gödel. The Monist, vol. 51 (1967), pp. 9–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 613-615
- Print publication:
- January 1969
-
- Article
- Export citation
G. Kreisel and Gerald E. Sacks. Metarecursive sets. The journal of symbolic logic, vol. 30 (1965), pp. 318–338.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 622-623
- Print publication:
- January 1969
-
- Article
- Export citation
L. J. Heider. Prime dual ideals in Boolean algebras. Canadian journal of mathematics, vol. 11 (1959), pp. 397–408.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 624
- Print publication:
- January 1969
-
- Article
- Export citation
E. J. McCluskey. Introduction to the theory of switching circuits. McGraw-Hill Book Company, New York, St. Louis, San Francisco, Toronto, London, and Sydney, 1965, xv + 318 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 631
- Print publication:
- January 1969
-
- Article
- Export citation
Jaakko Hintikka. Kantin oppi matematiikasta: Tutkimuksia sen peruskäsitteistä, rakenteesta ja esikuvista (Kant's doctrine of mathematics: Studies of its basic concepts, its structure, and its sources). Ajatus, vol. 22 (1959), pp. 5–85.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-618
- Print publication:
- January 1969
-
- Article
- Export citation
C.Y. Lee. Categorizing automata by W-machine programs. Journal of the Association for Computing Machinery, Bd. 8 (1961), S. 384–399. - Seiiti Huzino und Mariko Yoneyama. On a proof of Schepherdson's theorem. Memoirs of the Faculty of Science, Kyushu University, Series A Mathematics, Bd. 16 (1962), S. 88–93.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 628
- Print publication:
- January 1969
-
- Article
- Export citation
Replacement in some modal systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 569-570
- Print publication:
- January 1969
-
- Article
- Export citation