13629 results in The Journal of Symbolic Logic
W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 127-128
- Print publication:
- 29 May 1969
-
- Article
- Export citation
An undecidable two sorted predicate calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-23
- Print publication:
- 29 May 1969
-
- Article
- Export citation
P. T. Geach. On beliefs about oneself. Analysis (Oxford), vol. 18 no. 1 (1957), pp. 23–24.
-
- 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
A. Grzegorczyk, A. Mostowski, and C. Ryll-Nardzewski. Definability of sets in models of axiomatic theories. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 163–167.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- 29 May 1969
-
- Article
- Export citation
JSL volume 34 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- 29 May 1969
-
- Article
-
- You have access
- Export citation
Ü. L. Éršov. Razréšimost′ eléméntarnoj téorii distributivnyh struktur s otnositél′nyml dopolnéniámi i téorii fil′trov (Decidability of the elementary theory of relatively complemented distributive lattices and of the theory of filters). Algébra i logika, Séminar, vol. 3 no. 3 (1964) pp. 17–38.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Newton Garver. Varieties of use and mention. Philosophy and phenomenological research, vol. 26 no. 2 (1965), pp. 230–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 145
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A. B. Hutoréckij. O rékursivnom izomorfizmé (On recursive isomorphism). Algébra i logika, Séminar, vol. 4 no. 3 (1965), pp. 85–88.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
- Print publication:
- 29 May 1969
-
- Article
- Export citation
J. W. Swanson. A variant of Turing machines requiring print instructions only. Logique et analyse, n.s. vol. 10 (1967), pp. 200–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-135
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 152-160
- Print publication:
- 29 May 1969
-
- Article
-
- You have access
- Export citation
H. Rasiowa. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 234–240.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 118-119
- Print publication:
- 29 May 1969
-
- Article
- Export citation
A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva dlá konéčno-oprédélénnyh grupp (Degrees of unsolvability of the word problem for finitely defined groups). Izdatél′stvo “Nauka,”Moscow1967, 193 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 114-115
- Print publication:
- 29 May 1969
-
- Article
- Export citation
J. R. Shoenfield. On a restricted ω-rule. Bulletin de l′Académie Polonaise des Sciences, Série des sciences, mathématiques, astronomiques et physiques, vol. 7 (1959), pp. 405–407.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Bounded ALGOL-like languages. Transactions of the American Mathematical Society, vol. 113 (1964), pp. 333–368.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 136-137
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Seymour Ginsburg and Edwin H. Spanier. Semigroups, Presburger formulas, and languages. Pacific journal of mathematics, vol. 16 (1966), pp. 285–296.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 29 May 1969
-
- Article
- Export citation
H. Rasiowa. -lattices and constructive logic with strong negation. Fundamenta mathematicae, vol. 46 (1958), pp. 61–80.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 118
- Print publication:
- 29 May 1969
-
- Article
- Export citation
G. S. Matvééva. К téorémé Rabina o složnosti vyčislimyh funkcij (On a theorem of Rabin concerning the complexity of computable functions). Sibirskij matématičéskij žurnal, vol. 6 (1965), pp. 546–555.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-134
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Kempachiro Ohashi. Undecidable theorems ni tuite (On undecidable theorems). Sügaku, vol. 9 no. 2 (1957), pp. 96–97 (32-33).
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 131
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Luka Krnič. Tipy bazisov algébry logiki (Types of bases in the algebra of logic). Glasnik matematičko-fizìčki i astronomski, ser. 2 vol. 20 (1965), pp. 23–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 121-122
- Print publication:
- 29 May 1969
-
- Article
- Export citation
John P. Kimball. Predicates definable over transformational derivations by intersection with regular languages. Information and control, vol. 11 (1967), pp. 177–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 137
- Print publication:
- 29 May 1969
-
- Article
- Export citation