13629 results in The Journal of Symbolic Logic
Gaisi Takeuti. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 (1958), pp. 151–170.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1959
-
- Article
- Export citation
Th. Skolem. A version of the proof of equivalence between complete induction and the uniqueness of primitive recursion. Det Kongelige Norske Videnskabers Selskabs, ForhandUnger, Bd. 29 Heft 3 (1956), S. 10–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1959
-
- Article
- Export citation
Leon Henkin. On a theorem of Vaught. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 58 (1955), pp. 326–328; also ibid., vol. 17 (1955), pp. 326–328.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1959
-
- Article
- Export citation
Jürgen v. Kempski. Relationen- und prädikatenlogische Untersuchungen zur Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 (1956), S. 87–99; auch Archiv für Philosophie, Bd. 5 (1956), S. 407–419.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 79-80
- Print publication:
- March 1959
-
- Article
- Export citation
On intermediate propositional logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 20-36
- Print publication:
- March 1959
-
- Article
- Export citation
N. A. Routledge. Concerning definable sets. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 6–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1959
-
- Article
- Export citation
S. C. Kleene. A note on computable functionals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 (1956), pp. 275–280; also Indagationes mathematicae, vol. 18 (1956), pp. 275–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-52
- Print publication:
- March 1959
-
- Article
- Export citation
Daniel Lacombe. Classes récursivement fermées et fonctions majorantes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 240 (1955), pp. 716–718.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 52-53
- Print publication:
- March 1959
-
- Article
- Export citation
Gaisi Takeuti. Construction of the set theory from the theory of ordinal numbers. Journal of the Mathematical Society of Japan, vol. 6 (1954), pp. 196–220. Errata, ibid., vol. 7 (1955), p. 408.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1959
-
- Article
- Export citation
O. B. Lupanov. O vozmožnostáh sintéza shém iz raznoobraznyh eléméntov. Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 561–563. - O. B. Lupanov. On the possibilities of designing circuits out of various elements. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., c. 1957, 5 pp. - O. B. Lupanov. O sintézè kontaktnyh shém. Doklady Akadémii Nauk SSSR, vol. 119 (1958), pp. 23–26. - O. B. Lupanov. On the synthesis of contact circuits. English translation of the preceding. Multilith-offset. Morris D. Friedman, Inc., Needham Heights, Mass., 1958, 5 pp. - O. B. Lupanov. On the synthesis of contact networks. English translation of the same. Automation express, vol. 1 no. 3 (1958), pp. 7–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1959
-
- Article
- Export citation
Martin Gardner. Logic machines and diagrams. McGraw-Hill Book Company, Inc., New York-Toronto-London1958, ix + 157 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-79
- Print publication:
- March 1959
-
- Article
- Export citation
E. C. SmithJr., and Alfred Tarski. Higher degrees of distributivity and completeness in Boolean algebras. Transactions of the American Mathematical Society, vol. 84 (1957), pp. 230–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-60
- Print publication:
- March 1959
-
- Article
- Export citation
Gaisi Takeuti. A metamathematical theorem on functions. Journal of the Mathematical Society of Japan, vol. 8 (1956), pp. 65–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
- Print publication:
- March 1959
-
- Article
- Export citation
Gaisi Takeuti. On the theory of ordinal numbers, II. Journal of the Mathematical Society of Japan, vol. 10 (1958), pp. 106–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1959
-
- Article
- Export citation
W. L. van der Poel. Enige bijzondere onderwerpen uit de schakelalgebra (Some selected topics on switching algebra). De ingenieur (Utrecht), vol. 67 no. 1 (1955), pp. E.9–E.14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 78
- Print publication:
- March 1959
-
- Article
- Export citation
Ulrich Klug. Juristische Logik. Second, revised edition of XVII 274(1). Springer-Verlag, Berlin-Göttingen-Heidelberg1958, VIII + 164 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 87
- Print publication:
- March 1959
-
- Article
- Export citation
JSL volume 24 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- March 1959
-
- Article
-
- You have access
- Export citation
A. I. Mal'cév. Kvaziprimitivnyé klassy abstraktnyh algébr (Quasi-primitive classes of abstract algebras). Doklady Akadémii Nauk SSSR, vol. 108 (1956), pp. 187–189.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 57
- Print publication:
- March 1959
-
- Article
- Export citation
Omar Khayyam Moore and Scarvia B. Anderson. Modern logic and tasks for experiments on problem solving behavior. The journal of psychology, vol. 38 (1954), pp. 151–160. - Omar Khayyam Moore and Scarvia B. Anderson. Search behavior in individual and group problem solving. American sociological review, vol. 19 (1954), pp. 702–714. - Scarvia B. Anderson. Problem solving in multiple-goal situations. Journal of experimental psychology, vol. 54 (1957), pp. 297–303. - Omar Khayyam Moore. Problem solving and the perception of persons. Person perception and interpersonal behavior, edited by Renato Tagiuri and Luigi Petrullo, Stanford University Press, Stanford, Calif., 1958, pp. 131–150.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 86
- Print publication:
- March 1959
-
- Article
- Export citation
R. S. Pierce. Distributivity in Boolean algebras. Pacific journal of mathematics, vol. 7 (1957), pp. 983–992.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1959
-
- Article
- Export citation