13629 results in The Journal of Symbolic Logic
A.G. Hamilton. Numbers, sets and axioms. The apparatus of mathematics. Cambridge University Press, Cambridge etc. 1982, ix + 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 1421
- Print publication:
- December 1984
-
- Article
- Export citation
Well-behaved modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1393-1402
- Print publication:
- December 1984
-
- Article
- Export citation
W. J. Blok. The lattice of modal logics: an algebraic investigation. The journal of symbolic logic, vol. 45 (1980), pp. 221–236. - W. J. Blok. Pretahular varieties of modal algebras. Studio logica, vol. 39 (1980), pp. 101–124.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1419-1420
- Print publication:
- December 1984
-
- Article
- Export citation
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1262-1267
- Print publication:
- December 1984
-
- Article
- Export citation
Herbert G. Bohnert and Paul D. Backer. Automatic English-to-logic translation in a simplified model. A study in the logic of grammar. Computers in language research, Formal methods, edited by Walter A. SedelowJr., and Sally Yeates Sedelow, Trends in linguistics, studies and monographs, no. 5, Mouton Publishers, The Hague, Paris, and New York, 1979, pp. 165–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1406-1407
- Print publication:
- December 1984
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1441-1449
- Print publication:
- December 1984
-
- Article
- Export citation
JSL volume 49 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1984
-
- Article
-
- You have access
- Export citation
Petr Vopěnka. Mathematics in the alternative set theory. Teubner-Texte zur Mathematik. Teubner Verlagsgesellschaft, Leipzig1979, 120 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1423-1424
- Print publication:
- December 1984
-
- Article
- Export citation
Nathan U. Salmon. Reference and essence. Princeton University Press, Princeton1981, xvi + 293 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1417-1419
- Print publication:
- December 1984
-
- Article
- Export citation
Decidable properties of finite sets of equations in trivial languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1333-1338
- Print publication:
- December 1984
-
- Article
- Export citation
Richard Jeffrey. Formal logic: Its scope and limits. Second edition of XXXVIII 646. McGraw-Hill Book Company, New York etc. 1981, xvi + 198 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1408-1409
- Print publication:
- December 1984
-
- Article
- Export citation
Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1205-1236
- Print publication:
- December 1984
-
- Article
- Export citation
Donald A. Martin. Borel determinacy. Annals of mathematics, ser. 2 vol. 102 (1975), pp. 363–371. - Donald A. Martin. Infinite games. Proceedings of the International Congress of Mathematicians, Helsinki 1978, vol. 1, edited by Olli Lehto, Academia Scientarium Fennica, Helsinki1980, pp. 269–273.
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, p. 1425
- Print publication:
- December 1984
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1483-1485
- Print publication:
- December 1984
-
- Article
- Export citation
Typical ambiguity and the axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1074-1078
- Print publication:
- December 1984
-
- Article
- Export citation
Definable structures in the lattice of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1190-1197
- Print publication:
- December 1984
-
- Article
- Export citation
The strength of nonstandard methods in arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1039-1058
- Print publication:
- December 1984
-
- Article
- Export citation
A decidable subclass of the minimal Gödel class with identity
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1253-1261
- Print publication:
- December 1984
-
- Article
- Export citation
A natural extension of natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1284-1300
- Print publication:
- December 1984
-
- Article
- Export citation
Categoricity and ranks
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1379-1392
- Print publication:
- December 1984
-
- Article
- Export citation