13629 results in The Journal of Symbolic Logic
Implicational complexity in intuitionistic arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-248
- Print publication:
- June 1981
-
- Article
- Export citation
Keith J. Devlin. Fundamentals of contemporary set theory. Universitext. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, viii + 182 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- June 1981
-
- Article
- Export citation
Vaught's theorem recursively revisited1
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 397-411
- Print publication:
- June 1981
-
- Article
- Export citation
Effective Galois theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-392
- Print publication:
- June 1981
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
- Print publication:
- June 1981
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic, Leeds, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-446
- Print publication:
- June 1981
-
- Article
- Export citation
An example concerning Scott heights
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 301-318
- Print publication:
- June 1981
-
- Article
- Export citation
Nonstandard natural number systems and nonstandard models
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 2 / June 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-376
- Print publication:
- June 1981
-
- Article
- Export citation
Rings which admit elimination of quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-58
- Print publication:
- March 1981
-
- Article
- Export citation
La logique des topos
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 6-16
- Print publication:
- March 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Hamilton, New Zealand, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-206
- Print publication:
- March 1981
-
- Article
- Export citation
R. M. Martin. Semiotics and linguistic structure. A primer of philosophic logic. State University of New York Press, Albany1978, xx + 321 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
- Print publication:
- March 1981
-
- Article
- Export citation
Modal semantics without possible worlds
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-86
- Print publication:
- March 1981
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Biloxi, 1979
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-198
- Print publication:
- March 1981
-
- Article
- Export citation
J. L. Mackie. Truth probability and paradox. Studies in philosophical logic. Clarendon library of logic and philosophy. The Clarendon Press, Oxford University Press, Oxford1973, xii + 305 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- March 1981
-
- Article
- Export citation
A proof of the associated sheaf theorem by means of categorical logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 45-55
- Print publication:
- March 1981
-
- Article
- Export citation
Ordinal analysis of simple cases of bar recursion
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-30
- Print publication:
- March 1981
-
- Article
- Export citation
John L. Pollock. Subjunctive reasoning. Philosophical studies series in philosophy, vol. 8. D. Reidel Publishing Company, Dordrecht and Boston1976, xi + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-173
- Print publication:
- March 1981
-
- Article
- Export citation
JSL volume 46 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1981
-
- Article
-
- You have access
- Export citation
JSL volume 46 issue 1 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 1 / March 1981
- Published online by Cambridge University Press:
- 12 March 2014, p. b1
- Print publication:
- March 1981
-
- Article
-
- You have access
- Export citation