13629 results in The Journal of Symbolic Logic
Constructive validity is nonarithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1036-1041
- Print publication:
- December 1988
-
- Article
- Export citation
JSL volume 53 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1988
-
- Article
-
- You have access
- Export citation
S. Ú. Maslov. Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow 1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis. Studies in logic and the foundations of mathematics, vol. 119. North-Holland, Amsterdam, New York, and Oxford, 1986, xii + 478 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1261-1262
- Print publication:
- December 1988
-
- Article
- Export citation
Mechanical learners pay a price for Bayesianism
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1245-1251
- Print publication:
- December 1988
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1343-1344
- Print publication:
- December 1988
-
- Article
- Export citation
On parameter free induction schemas
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1082-1097
- Print publication:
- December 1988
-
- Article
- Export citation
Some properties of large filters
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1027-1035
- Print publication:
- December 1988
-
- Article
- Export citation
Annual meeting of the Association for Symbolic Logic, New York City, December 1987
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1287-1299
- Print publication:
- December 1988
-
- Article
- Export citation
Degree theoretical splitting properties of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1110-1137
- Print publication:
- December 1988
-
- Article
- Export citation
Larry Wos. Automated reasoning: 33 basic research problems. Prentice Hall, Englewood Cliffs, N.J., 1988, xiii + 319 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1258-1259
- Print publication:
- December 1988
-
- Article
- Export citation
Ultrapowers without the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1208-1219
- Print publication:
- December 1988
-
- Article
- Export citation
Definability and initial segments of c-degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1070-1081
- Print publication:
- December 1988
-
- Article
- Export citation
Markov's principle, isols and Dedekind finite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1042-1069
- Print publication:
- December 1988
-
- Article
- Export citation
Formal languages defined by the underlying structure of their words
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1009-1026
- Print publication:
- December 1988
-
- Article
- Export citation
Provability of the pigeonhole principle and the existence of infinitely many primes
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1235-1244
- Print publication:
- December 1988
-
- Article
- Export citation
Souslin forcing
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1188-1207
- Print publication:
- December 1988
-
- Article
- Export citation
Institutional Members 1988
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 1303
- Print publication:
- December 1988
-
- Article
- Export citation
Melvin Fitting. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, p. 1257
- Print publication:
- December 1988
-
- Article
- Export citation
Indécidabilité de corps de séries formelles
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1227-1234
- Print publication:
- December 1988
-
- Article
- Export citation
Sheaves of continuous definable functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1165-1169
- Print publication:
- December 1988
-
- Article
- Export citation