13629 results in The Journal of Symbolic Logic
Miguel Sánchez-Mazas. Sobre la estructura de la lógica modal. Episteme, Anuario de filosofia (Caracas), for 1961–63, pub. 1965, pp. 347–361.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-400
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Karl Schröter. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 37–86, and vol. 4 (1958), pp. 10–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
- Print publication:
- 09 October 1967
-
- Article
- Export citation
On the axiomatizability of uniform spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-294
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-420
- Print publication:
- 09 October 1967
-
- Article
- Export citation
JSL volume 32 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- 09 October 1967
-
- Article
-
- You have access
- Export citation
Patrick Suppes and Shirley Hill. First course in mathematical logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, ix + 274 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
- Print publication:
- 09 October 1967
-
- Article
- Export citation
A proof of zermelo's theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Flora Dinkines. Elementary concepts of modern mathematics. Appleton-Century-Crofts, Division of Meredith Publishing Company, New York1964, x + 457 pp. - L. R. Sjoblom. Application of Boolean algebra to switching networks. Therein, pp. 183–207.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Nonaxiomatizability results for infinitary systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 367-384
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Keith Lehrer and Richard Taylor. Time, truth and modalities. Mind, n.s. vol. 74 (1965), pp. 390–398.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
- Print publication:
- 09 October 1967
-
- Article
- Export citation
JSL volume 32 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- 09 October 1967
-
- Article
-
- You have access
- Export citation
Luiz F. T. Monteiro. Axiomes indépendants pour les algèbres de Lukasiewicz trivalentes. Notas de lógica matemática n° 22, Instituto de Matemática, Universidad Nacional del sur, Bahía Blanca 1964, 7 P.; aussi Bulletin mathématique de la Société des Sciences Mathématiques et Physiques de la République Populaire Roumaine, n.S. vol. 7 n° 3–4 (pour 1963, pub. 1966), p. 199–202.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 399
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Dana Scott. Measurable cardinals and constructible sets. Bulletin de l' Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 9 (1961), pp. 521–524.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 410
- Print publication:
- 09 October 1967
-
- Article
- Export citation
T. Traczyk. Minimal extensions of weakly distributive Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 17–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-415
- Print publication:
- 09 October 1967
-
- Article
- Export citation
David Dinsmore Comey. Current trends in Soviet logic. Inquiry (Oslo), vol. 9 (1966), pp. 94–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Basic modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-365
- Print publication:
- 09 October 1967
-
- Article
- Export citation
S. Ú. Maslov. O nékotoryh sposobah zadaniá množéstv v bazisah poroždéniá. Doklady Akadémii Nauk SSSR, Vol. 153 (1963), pp. 266–269. - S. Ju. Maslov. Some methods for the definition of sets in generating bases. English translation of the preceding by Avner Falk. Soviet mathematics, vol. 4 no. 6 (1964), pp. 1649–1652.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Proof of the law of infinite conjunction using the perfect disjunctive normal form1
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
- Print publication:
- August 1967
-
- Article
- Export citation
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
- Print publication:
- August 1967
-
- Article
- Export citation
A. Ehrenfeucht. An application of gaṁes to the completeness problem for formalized theories. Fundamenta mathematicae, vol. 49 (1960), pp. 129–141.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 2 / August 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-282
- Print publication:
- August 1967
-
- Article
- Export citation