13629 results in The Journal of Symbolic Logic
Akira Kanda. Recursion theorems and effective domains. Annals of pure and applied logic, vol. 38 (1988), pp. 289–300.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 335
- Print publication:
- March 1991
-
- Article
- Export citation
There are reasonably nice logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-322
- Print publication:
- March 1991
-
- Article
- Export citation
Jan Krajíček. On the number of steps in proofs. Annals of pure and applied logic, vol. 41 (1989), pp. 153–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-335
- Print publication:
- March 1991
-
- Article
- Export citation
A. A. Markov and N. M. Nagorny. The theory of algorithms. English translation by M. Greendlinger of Teoriya algorifmov. Mathematics and its applications (Soviet series). Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xxiv + 369 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- March 1991
-
- Article
- Export citation
Index of contributed papers
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1330-1390
- Print publication:
- December 1990
-
- Article
- Export citation
JSL volume 55 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1990
-
- Article
-
- You have access
- Export citation
JSL volume 55 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b9
- Print publication:
- December 1990
-
- Article
-
- You have access
- Export citation
Index of abstracts
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1391-1478
- Print publication:
- December 1990
-
- Article
- Export citation
Author of work reviewed
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1741-1751
- Print publication:
- December 1990
-
- Article
- Export citation
Cumulative index to volumes 27–55 (1962–1990)
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 1329
- Print publication:
- December 1990
-
- Article
- Export citation
Index of reviews
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1479-1740
- Print publication:
- December 1990
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1752-1789
- Print publication:
- December 1990
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 4 / December 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1790-1792
- Print publication:
- December 1990
-
- Article
- Export citation
Coinductive ℵ0-categorical theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1130-1137
- Print publication:
- September 1990
-
- Article
- Export citation
Sy D. Friedman. Strong coding. Annals of pure and applied logic, vol. 35(1987), pp. 1–98. - Sy D. Friedman. A guide to “Strong coding.”Annals of pure and applied logic, vol. 35(1987), pp. 99–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1311-1313
- Print publication:
- September 1990
-
- Article
- Export citation
Omitting types for stable ccc theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1037-1047
- Print publication:
- September 1990
-
- Article
- Export citation
The interpretability logic of Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1059-1089
- Print publication:
- September 1990
-
- Article
- Export citation
A partial functions version of Church's simple theory of types
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1269-1291
- Print publication:
- September 1990
-
- Article
- Export citation
JSL volume 55 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1990
-
- Article
-
- You have access
- Export citation
Weakly minimal groups of unbounded exponent
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 3 / September 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 928-937
- Print publication:
- September 1990
-
- Article
- Export citation