13629 results in The Journal of Symbolic Logic
Addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. 115-132
- Print publication:
- 1984
-
- Article
- Export citation
A Bibliography of Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. 1-96
- Print publication:
- 1984
-
- Article
- Export citation
Foreword to the Revised Edition
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, p. i
- Print publication:
- 1984
-
- Article
- Export citation
Additions and Corrections to a Bibliography of Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. 98-113
- Print publication:
- 1984
-
- Article
- Export citation
Note on the Indexes
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. 133-153
- Print publication:
- 1984
-
- Article
- Export citation
JSL volume 49 issue S1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, p. b1
- Print publication:
- 1984
-
- Article
-
- You have access
- Export citation
JSL volume 49 issue S1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. f1-f3
- Print publication:
- 1984
-
- Article
-
- You have access
- Export citation
Index to the Addendum
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue S1 / 1984
- Published online by Cambridge University Press:
- 25 July 2022, pp. 154-156
- Print publication:
- 1984
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1285-1286
- Print publication:
- December 1983
-
- Article
- Export citation
State-strategies for games in Fσδ ∩ Gδσ
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1171-1198
- Print publication:
- December 1983
-
- Article
- Export citation
Modal analysis of generalized rosser sentences
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 986-999
- Print publication:
- December 1983
-
- Article
- Export citation
Degrees of types and independent sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1074-1081
- Print publication:
- December 1983
-
- Article
- Export citation
Discontinuities of provably correct operators on the provably recursive real numbers
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 913-920
- Print publication:
- December 1983
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1240-1272
- Print publication:
- December 1983
-
- Article
- Export citation
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1090-1104
- Print publication:
- December 1983
-
- Article
- Export citation
Indecomposable ultrafilters over small large cardinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1000-1007
- Print publication:
- December 1983
-
- Article
- Export citation
Forcing and reducibilities. III. Forcing in fragments of set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1013-1034
- Print publication:
- December 1983
-
- Article
- Export citation
M. P. Fourman and D. S. Scott. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753, Springer-Verlag, Berlin, Heidelberg, and New York, 1979, pp. 302–401.
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1201-1203
- Print publication:
- December 1983
-
- Article
- Export citation
Wtt-degrees and T-degrees of r.e. sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 921-930
- Print publication:
- December 1983
-
- Article
- Export citation
Some model theory of modules. II. on stability and categoricity of flat modules
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 4 / December 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-985
- Print publication:
- December 1983
-
- Article
- Export citation