13629 results in The Journal of Symbolic Logic
JSL volume 59 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1994
-
- Article
-
- You have access
- Export citation
A modified sentence unprovable in PA
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1154-1157
- Print publication:
- December 1994
-
- Article
- Export citation
More about relatively lawless sequences
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 813-829
- Print publication:
- September 1994
-
- Article
- Export citation
Models of arithmetic and upper bounds for arithmetic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-983
- Print publication:
- September 1994
-
- Article
- Export citation
Almost weakly 2-generic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 868-887
- Print publication:
- September 1994
-
- Article
- Export citation
A guide to truth predicates in the modern era
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1032-1054
- Print publication:
- September 1994
-
- Article
- Export citation
JSL volume 59 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1994
-
- Article
-
- You have access
- Export citation
The topological Vaught's conjecture and minimal counterexamples
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 757-784
- Print publication:
- September 1994
-
- Article
- Export citation
Logic and Linguistics Meeting, Columbus, 1993
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, p. 1115
- Print publication:
- September 1994
-
- Article
- Export citation
On reduction properties
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 900-911
- Print publication:
- September 1994
-
- Article
- Export citation
The European Association for Logic, Language, and Computation
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, p. 1116
- Print publication:
- September 1994
-
- Article
- Export citation
Guo-Qiang Zhang. Logic of domains. Progress in theoretical computer science. Birkhäuser, Boston, Basel, and Berlin, 1991, viii + 259 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1108-1110
- Print publication:
- September 1994
-
- Article
- Export citation
A small reflection principle for bounded arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-812
- Print publication:
- September 1994
-
- Article
- Export citation
A logic for approximate reasoning
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 830-837
- Print publication:
- September 1994
-
- Article
- Export citation
Kernel contraction
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 845-859
- Print publication:
- September 1994
-
- Article
- Export citation
L'anti-fondation en logique et en theorie des ensembles, edited by R. Hinnion, Cahiers du Centre de Logique, no. 7, Academia, Louvain-la-Neuve1992, 112 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1107-1108
- Print publication:
- September 1994
-
- Article
- Export citation
Covering analytic sets by families of closed set
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1031
- Print publication:
- September 1994
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1120
- Print publication:
- September 1994
-
- Article
- Export citation
Jensen's Σ* theory and the combinatorial content of V = L
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1096-1104
- Print publication:
- September 1994
-
- Article
- Export citation
Bisimulations and predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 924-944
- Print publication:
- September 1994
-
- Article
- Export citation