13630 results in The Journal of Symbolic Logic
Frederic B. Fitch. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 26–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- June 1972
-
- Article
- Export citation
Hilary Putnam. Mathematics without foundations. The journal of philosophy, vol. 64 (1967), pp. 5–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 402-404
- Print publication:
- June 1972
-
- Article
- Export citation
Some model theory of abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 335-342
- Print publication:
- June 1972
-
- Article
- Export citation
General models and extensionality
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-397
- Print publication:
- June 1972
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, New York, 1971
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-447
- Print publication:
- June 1972
-
- Article
- Export citation
A. N. Prior. The autonomy of ethics. The Australasian journal of philosophy, vol. 38 no. 3 (1960), pp. 199–206. - J. M. Shorter. Professor Prior on the autonomy of ethics. The Australasian journal of philosophy, vol. 39 no. 3 (1961), pp. 286–287.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 421-422
- Print publication:
- June 1972
-
- Article
- Export citation
S. R. Kogalovskij. Ob univérsal'nyh klassah algébr (On universal classes of algebras). Doklady Akadémii Nauk SSSR, vol. 122 (1958), pp. 759–761.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-401
- Print publication:
- June 1972
-
- Article
- Export citation
Jaakko Hintikka. An Aristotelian dilemma. Ajatus, vol. 22 (1959), pp. 87–92. - Nicholas Rescher. Aristotle's theory of modal syllogisms and its interpretation. The critical approach to science and philosophy, edited by Mario Bunge, The Free Press of Glencoe, Collier-Macmillan Limited, London1964, pp. 152–177. Reprinted in Essays in philosophical analysis, by Nicholas Rescher, University of Pittsburgh Press, Pittsburgh 1969, pp. 33–60. - Storrs McCall. Aristotle's modal syllogisms. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, VIII + 100 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
- Print publication:
- June 1972
-
- Article
- Export citation
M. J. O'Carroll. Improper self-reference in classical logic and the prediction paradox. Logique et analyse, n.s. vol. 10 (1967), pp. 167–172. - M. J. O'Carroll. A three-valued, non-levelled logic consistent for all self-reference. Logique et analyse, n.s. vol. 10 (1967), pp. 173–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
- Print publication:
- June 1972
-
- Article
- Export citation
Kimio Ibuki, Kenzi Naemura, and Akihiro Nozaki. General theory of complete sets of logical functions. Electronics and communications in Japan, vol. 46 no. 7 (for 1963, pub. 1964), pp. 55–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 416-417
- Print publication:
- June 1972
-
- Article
- Export citation
Peter H. Starke. Abstrakte Automaten. VEB Deutscher Verlag der Wissenschaften, Berlin1969, 392 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
- Print publication:
- June 1972
-
- Article
- Export citation
Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 592–595. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 83–86. - Kurt Gödel. Some metamathematical results on completeness and consistency. English translation of 4181 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 595–596. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 86–87. - Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 596–616. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 87–107. - Kurt Gödel. On completeness and consistency. English translation of 4188 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 616–617. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 107–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 405
- Print publication:
- June 1972
-
- Article
- Export citation
Louise Hay. The co-simple isols. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 231–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 407-408
- Print publication:
- June 1972
-
- Article
- Export citation
A reduction theorem for predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-354
- Print publication:
- June 1972
-
- Article
- Export citation
J. Donald Monk. Nontrivial -injective Boolean algebras do not exist. Bulletin of the American Mathematical Society, vol. 73 (1967), pp. 526–527.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 400
- Print publication:
- June 1972
-
- Article
- Export citation
Announcement: World directory of historians of mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 447
- Print publication:
- June 1972
-
- Article
- Export citation
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 (1968), pp. 125–164.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-425
- Print publication:
- June 1972
-
- Article
- Export citation
Existentially closed structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-310
- Print publication:
- June 1972
-
- Article
- Export citation
M. A. Aizerman, L. A. Gusev, L. I. Rozonoér, I. M. Smirnova, and A. A. Tal'. The algorithmic insolubility of the problem of recognizing the representability of recursive events in finite automata. English translation of XXXVII 426. Automation and remote control, vol. 22 (1961), pp. 646–652.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-411
- Print publication:
- June 1972
-
- Article
- Export citation
Gr. C. Moisil. Contributii la teoria algebricǎ a mecanismelor automate (Contribution à l'étude algébrique des mécanismes automatiques). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 183–230. - Gr. C. Moisil and Gh. Ioanin. Asupra funcţionǎrii schemelor cu butoni reali (Sur le fonctionnement des schémas à boutons réels). Roumanian with Russian and French summaries. Buletin ştiintific, Secţiunea de ştiinte matematice şi fizice, vol. 7 (1955), pp. 33–49. - Gr. C. Moisil. Teoria algebricǎ a funcţionǎrii schemelor cu contacte de relee in mai mulţi timpi (Théorie algébrique du fonctionnement des schémas à relais à contacts échelonnés). Roumanian with Russian and French summaries. Studii şi cercetǎri matematice, vol. 6 (1955), pp. 7–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-416
- Print publication:
- June 1972
-
- Article
- Export citation