13629 results in The Journal of Symbolic Logic
Le R. P. Dubarle. Initiation à la logique. Collection de logique mathématique, ser. A no. 13. “Tyme offset.” Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1957, title pages + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 30
- Print publication:
- March 1958
-
- Article
- Export citation
J. L. Austin. Ifs and cans. Proceedings of the British Academy, vol. 42 (for 1956), pp. 109–132.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
- Print publication:
- March 1958
-
- Article
- Export citation
Wolfgang Stegmüller. Das Universalienproblem einst und jetzt. (Fortsetzung und Schluss.)Archiv für Philosophie vol. 7 (1957), pp. 45–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- March 1958
-
- Article
- Export citation
Mochinori Goto, Yasuo Komamiya, Ryota Suekane, Masahide Takagi, and Shigeru Kuwabara. Theory and structure of the automatic relay computer E. T. L. Mark II. Researches of the Electrotechnical Laboratory, no. 556. Electrotechnical Laboratory, Agency of Industrial Science and Technology, Tokyo1956, ix + 214 pp. and 37 plates.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1958
-
- Article
- Export citation
A. Mostowski. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta mathematicae, Bd. 40 (1953), S. 56–61. - A. Mostowski. A formula with no recursively enumerable model. Ebd., Bd. 42 (1955), S. 125–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 45
- Print publication:
- March 1958
-
- Article
- Export citation
A. Heyting. Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, title pages + 91 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 33
- Print publication:
- March 1958
-
- Article
- Export citation
S. V. Áblonskij. Funkcional'nyé postroéniá v mnogoznačnyh logikah (Functional constructions in many-valued logics). Trudy Trét'égo Vséesoúznogo Matématičéskogo Sézda, Moskva, iún'-iúl' 1956, Vol. 2, Moscow1956, pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1958
-
- Article
- Export citation
William Tuthill Parry. A new symbolism for the propositional calculus. The journal of symbolic logic, vol. 19 (1954), pp. 161–168. See errata, William Tuthill Parry. A new symbolism for the propositional calculus. The journal of symbolic logic, vol. 19 (1954), p. vi. - Gerald B. Standley. Ideographic computation in the propositional calculus. The journal of symbolic logic, vol. 19 (1954), pp. 169–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1958
-
- Article
- Export citation
Jan Kalicki and Dana Scott. Equational completeness of abstract algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 58 (1955), pp. 650–659; also Indagationes mathematicae, vol. 17 (1955), pp. 650–659.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-57
- Print publication:
- March 1958
-
- Article
- Export citation
Twenty-second annual meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-111
- Print publication:
- March 1958
-
- Article
- Export citation
Norman Shapiro. Degrees of computability. Transactions of the American Mathematical Society, vol. 82 (1956), pp. 281–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 48-49
- Print publication:
- March 1958
-
- Article
- Export citation
Andrzej Mostowski. Development and applications of the “projective” classification of sets of integers. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, und North-Holland Publishing Co., Amsterdam, S. 280–288.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 44-45
- Print publication:
- March 1958
-
- Article
- Export citation
Noam Chomsky. Systems of syntactic analysis. The journal of symbolic logic, vol. 18 (1953), pp. 242–256.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 72
- Print publication:
- March 1958
-
- Article
- Export citation
Morris Weitz. Analytic statements. Mind, n.s. vol. 63 (1954), pp. 487–494.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1958
-
- Article
- Export citation
Antonin Svoboda. Graphico-mechanical aids for the synthesis of relay circuits. Aktuelle Probleme der Rechentechnik, Deutscher Verlag der Wissenschaften, Berlin1957, pp. 43–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
- Print publication:
- March 1958
-
- Article
- Export citation
Georg Kreisel, Daniel Lacombe, and Joseph R. Shoenfield. Fonctionnelles récursivement définissables et fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 245 (1957), pp. 399–402.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 48
- Print publication:
- March 1958
-
- Article
- Export citation
United States National Committee of the International Union of the History and Philosophy of Science
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1958
-
- Article
- Export citation
Max Black. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto1956, Vol. 1, pp. 67–68; also Max Black. Abstract and abstraction. Encyclopaedia Britannica, Encyclopaedia Britannica, Inc., Chicago-London-Toronto 1957, Vol. 1, pp. 67–68.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 22-29
- Print publication:
- March 1958
-
- Article
- Export citation
An extensional variety of extended basic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-21
- Print publication:
- March 1958
-
- Article
- Export citation
Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies, edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 60
- Print publication:
- March 1958
-
- Article
- Export citation