13629 results in The Journal of Symbolic Logic
Mengenlehre, edited by Ulrich Feigner, Wissenschaftliche Buchgesellschaft, Darmstadt1979, vii + 331 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-348
- Print publication:
- March 1991
-
- Article
- Export citation
D. M. Armstrong. A combinatorial theory of possibility. Cambridge studies in philosophy. Cambridge University Press, Cambridge etc. 1989, xiii + 156 pp. - Brian Skyrms. Tractarian nominalism. Therein, pp. 145–152. (Reprinted from Philosophical studies, vol. 40 (1981), pp. 199–206.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-355
- Print publication:
- March 1991
-
- Article
- Export citation
Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 (1989), pp. 81–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 334
- Print publication:
- March 1991
-
- Article
- Export citation
Eitan Gurari. An introduction to the theory of computation. Principles of computer science series. Computer Science Press, Rockville, Md., 1989, xii + 314 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-339
- Print publication:
- March 1991
-
- Article
- Export citation
Indiscernible sequences in a model which fails to have the order property
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-123
- Print publication:
- March 1991
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Berkeley, 1990
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-371
- Print publication:
- March 1991
-
- Article
- Export citation
JSL volume 56 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1991
-
- Article
-
- You have access
- Export citation
Graeme Forbes. Languages of possibility. An essay in philosophical logic. Aristotelian Society series, vol. 9. Basil Blackwell, Oxford and New York1989, ix + 181 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- March 1991
-
- Article
- Export citation
Minimal prime ideals and arithmetic comprehension
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-70
- Print publication:
- March 1991
-
- Article
- Export citation
Amenable equivalence relations and Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-194
- Print publication:
- March 1991
-
- Article
- Export citation
Alexander Prestel. Einführung in die mathematische Logik und Modelltheorie. Vieweg studium, no. 60. Friedr. Vieweg & Sohn, Brunswick et Wiesbaden 1986, xiv + 286 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-343
- Print publication:
- March 1991
-
- Article
- Export citation
Computational complexity theory, edited by Juris Hartmanis, Proceedings of symposia in applied mathematics, vol. 38, American Mathematical Society, Providence1989, ix + 128 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-336
- Print publication:
- March 1991
-
- Article
- Export citation
Isomorphisms and nonisomorphisms of graph models
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-249
- Print publication:
- March 1991
-
- Article
- Export citation
Powers of the ideal of Lebesgue measure zero sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-107
- Print publication:
- March 1991
-
- Article
- Export citation
Michael Barr and Charles Wells. Toposes, triples and theories. Grundlehren der mathematischen Wissenschaften, no. 278. Springer-Verlag, New York etc. 1985, xiii + 345 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 340-341
- Print publication:
- March 1991
-
- Article
- Export citation
Admissible Suslin cardinals in L(R)
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 260-275
- Print publication:
- March 1991
-
- Article
- Export citation
JSL volume 56 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1991
-
- Article
-
- You have access
- Export citation
The elementary class of products of totally ordered abelian group
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-299
- Print publication:
- March 1991
-
- Article
- Export citation
Normalization theorems for full first order classical natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-149
- Print publication:
- March 1991
-
- Article
- Export citation
End-extensions preserving power set
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-328
- Print publication:
- March 1991
-
- Article
- Export citation