13630 results in The Journal of Symbolic Logic
W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability, edited by W. A. J. Luxemburg, Holt, Rinehart and Winston, New York, Chicago, San Francisco, Atlanta, Dallas, Montreal, Toronto, London, and Sidney, 1969, pp. 18–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 541-542
- Print publication:
- September 1971
-
- Article
- Export citation
Reviews - Desmond P. Henry. The De grammatico of St. Anselm. The theory of paronymy. Publications in mediaeval studies no. 18. University of Notre Dame Press, Notre Dame, Ind., 1964, XV + 169 pp. - Desmond Paul Henry. Why “Grammaticus”?Archivum latinitatis medii aevi (Bulletin dm Conge), vol. 28 no. 2–3 (1958), pp. 165–180. - Desmond Paul Henry. Saint Anselm's nonsense. Mind, n.s. vol. 72 (1963), pp. 51–61. - Desmond Paul Henry. An Anselmian regress. Notre Dame journal of formal logic, vol. 3 (1962), pp. 193–198.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-513
- Print publication:
- September 1971
-
- Article
- Export citation
Vladeta Vučković. On some possibilities in the foundations of recursive arithmetics of words. English with Serbo-Croatian summary. Glasnik matematičko-fizički i astronomski (Periodicum mathematico-physicum et astronomicum), ser. 2 vol. 17 (1962), pp. 145–157.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 549
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Skolèmovskij métod eliminacii položitél'nyh kvantorov v sékvéncial'nyh isčisléniáh. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 24–27. - G. E. Minc. Skolem's method of elimination of positive quantifiers in sequential calculi. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 4 (1966), pp. 861–864.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 526-527
- Print publication:
- September 1971
-
- Article
- Export citation
G. É. Minc. Analog téorémy Erbrana dlá konstruktivnogo isčisléniá prédikatov. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 783–786. - G. É. Minc. An analogue of Herbranďs theorem for the constructive predicate calculus. English translation of the preceding by R. N. Goss. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1712–1715.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 524-525
- Print publication:
- September 1971
-
- Article
- Export citation
G. P. Zykin. Zaméčanié ob odnoj téorémé Hao Vana (Comment on a theorem of Hao Wang). Algébra i logika, Séminar, vol. 2 no. 1 (1963), pp. 33–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 534
- Print publication:
- September 1971
-
- Article
- Export citation
B. H. Mayoh. Groups and semigroups with solvable word problems. Proceedings of the American Mathematical Society, vol. 18 (1967), pp. 1038–1039.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 541
- Print publication:
- September 1971
-
- Article
- Export citation
Charles Parsons. Hierarchies of primitive recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 (1968), pp. 357–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 538-539
- Print publication:
- September 1971
-
- Article
- Export citation
Daniel Lacombe. Deux généralisations de la notion de récursivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3141–3143. - Daniel Lacombe. Deux généralisations de la notion de récursivité relative. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 258 (1964), p. 3410–3413.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 536-537
- Print publication:
- September 1971
-
- Article
- Export citation
D. D. Mahulkar. The groundwork of modern logic. East & West Book House, Baroda, India, 1959, vi + 60 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- September 1971
-
- Article
- Export citation
On measures on complete Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-406
- Print publication:
- September 1971
-
- Article
- Export citation
Kiyoshi Iséki. On the cut operation in Gentzen calculi. Proceedings of the Japan Academy, vol. 32 (1956), pp. 719–721, and vol. 33 (1957), pp. 98–99.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 528
- Print publication:
- September 1971
-
- Article
- Export citation
Samuel Issman. La conception formaliste des mathématiques. Atti del XII Congresso Internazionale di Filosofia (Venezia, 12–18 Settembre 1958), Volume quinto Lògica, gnoseologia, filosofia della scienze, filosofia del linguaggio, Sansoni Editore, Florence1960, pp. 237–244.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 523
- Print publication:
- September 1971
-
- Article
- Export citation
G. B. Keene. Abstract sets and finite ordinals. An introduction to the study of set theory. Pergamon Press, New York, Oxford, London, and Paris, 1961, x + 106 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 543
- Print publication:
- September 1971
-
- Article
- Export citation
Countable vector spaces with recursive operations Part II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 477-493
- Print publication:
- September 1971
-
- Article
- Export citation
Samuel Goldberg. Probability. An introduction. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1960, xiv + 322 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-544
- Print publication:
- September 1971
-
- Article
- Export citation
Ulrich Klug. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- September 1971
-
- Article
- Export citation
Alan Rose. Sur les schémas d'axiomes pour les calculs propositionnels à m valeurs ayant des valeurs surdésignées. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, t. 250 (1960), p. 790–792.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 546
- Print publication:
- September 1971
-
- Article
- Export citation
Erik Stenius. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 247–260.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 519-520
- Print publication:
- September 1971
-
- Article
- Export citation
Notice of a directory of historians of mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
- Print publication:
- September 1971
-
- Article
- Export citation