13629 results in The Journal of Symbolic Logic
JSL volume 61 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- March 1996
-
- Article
-
- You have access
- Export citation
Raymond M. Smullyan. First-order logic. Corrected republication of XL 237. Dover Publications, New York1995, xii + 158 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- March 1996
-
- Article
- Export citation
Bimodal logics for extensions of arithmetical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-124
- Print publication:
- March 1996
-
- Article
- Export citation
Variations of the Martin-Solovay tree
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 40-51
- Print publication:
- March 1996
-
- Article
- Export citation
Two remarks on the Lifschitz realizability topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-79
- Print publication:
- March 1996
-
- Article
- Export citation
Akihiro Kanamori. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-336
- Print publication:
- March 1996
-
- Article
- Export citation
How to characterize provably total functions by local predicativity
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-69
- Print publication:
- March 1996
-
- Article
- Export citation
On atomic or saturated sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 318-333
- Print publication:
- March 1996
-
- Article
- Export citation
Self-commuting quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-224
- Print publication:
- March 1996
-
- Article
- Export citation
Allan Ramsay. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-351
- Print publication:
- March 1996
-
- Article
- Export citation
Asymptotic conditional probabilities: The non-unary case
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 250-276
- Print publication:
- March 1996
-
- Article
- Export citation
L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern1982, 351 pp. - L. T. F. Gamut (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern1982, 422 pp. - J. B. Paris The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), x + 212 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- March 1996
-
- Article
- Export citation
Possible PCF algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-317
- Print publication:
- March 1996
-
- Article
- Export citation
Lebesque measure zero subsets of the real line and an infinite game
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 246-249
- Print publication:
- March 1996
-
- Article
- Export citation
Countable unions of simple sets in the core model
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-312
- Print publication:
- March 1996
-
- Article
- Export citation
Monotone inductive definitions in explicit mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 125-146
- Print publication:
- March 1996
-
- Article
- Export citation
Branching-time logic with quantification over branches: The point of view of modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-39
- Print publication:
- March 1996
-
- Article
- Export citation
Omitting types in incomplete theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-245
- Print publication:
- March 1996
-
- Article
- Export citation
JSL volume 61 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1996
-
- Article
-
- You have access
- Export citation
L. T. F. Gamut (pseudonym). Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica. The University of Chicago Press, Chicago and London1991, xiv + 282 pp. - L. T. F. Gamut (pseudonym). Logic, language, and meaning. Volume II. Intensional logic and logical grammar. English translation of Logica, taal en betekenis, Volume II, Intensionele logica en logische grammatica. The University of Chicago Press, Chicago and London1991, xvi + 349 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-345
- Print publication:
- March 1996
-
- Article
- Export citation