13629 results in The Journal of Symbolic Logic
The expressive power of fixed-point logic with counting
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 147-176
- Print publication:
- March 1996
-
- Article
- Export citation
Sun-Joo Shin. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), xi + 197 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 341-342
- Print publication:
- March 1996
-
- Article
- Export citation
AD and patterns of singular cardinals below Θ
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-235
- Print publication:
- March 1996
-
- Article
- Export citation
Alan Ross Anderson, Nuel D. BelnapJr., and J. Michael Dunn. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford1992, xxvii + 749 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 338-341
- Print publication:
- March 1996
-
- Article
- Export citation
Countable models of trivial theories which admit finite coding
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1279-1286
- Print publication:
- December 1996
-
- Article
- Export citation
Storage operators and directed lambda-calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1054-1086
- Print publication:
- December 1995
-
- Article
- Export citation
Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1260-1272
- Print publication:
- December 1995
-
- Article
- Export citation
An induction principle and pigeonhole principles for K-finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1186-1193
- Print publication:
- December 1995
-
- Article
- Export citation
Cary G. deBessonet. A many-valued approach to deduction and reasoning for artificial intelligence. The Kluwer international series in engineering and computer science. Kluwer Academic Publishers, Boston, Dordrecht, and London, 1991, xviii + 248 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1328-1329
- Print publication:
- December 1995
-
- Article
- Export citation
Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1317-1320
- Print publication:
- December 1995
-
- Article
- Export citation
Anil Gupta and Nuel Belnap. The revision theory of truth. Bradford books. The MIT Press, Cambridge, Mass., and London, 1993, xii + 299 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1314-1316
- Print publication:
- December 1995
-
- Article
- Export citation
George Boolos. The logic of provability. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xxxvi + 276 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1316-1317
- Print publication:
- December 1995
-
- Article
- Export citation
An analogue of Hilbert's tenth problem for p-adic entire functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1301-1309
- Print publication:
- December 1995
-
- Article
- Export citation
The axiom of choice for well-ordered families and for families of well-orderable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1115-1117
- Print publication:
- December 1995
-
- Article
- Export citation
JSL Volume 60 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1995
-
- Article
-
- You have access
- Export citation
The geometry of forking and groups of finite Morley rank
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1251-1259
- Print publication:
- December 1995
-
- Article
- Export citation
Amoeba reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1168-1185
- Print publication:
- December 1995
-
- Article
- Export citation
The existence of finitely based lower covers for finitely based equational theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1242-1250
- Print publication:
- December 1995
-
- Article
- Export citation
Determinacy and the sharp function on objects of type k
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1025-1053
- Print publication:
- December 1995
-
- Article
- Export citation
Geoffrey Hellman. Mathematics without numbers. Towards a modal-structural interpretation. Clarendon Press, Oxford University Press, Oxford and New York1989, xi + 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1310-1312
- Print publication:
- December 1995
-
- Article
- Export citation