13629 results in The Journal of Symbolic Logic
Hugo Ribeiro. The notion of universal completeness. Portugaliae mathematica, vol. 15 no. 3 (for 1956, pub. 1957), pp. 83–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
- Print publication:
- March 1962
-
- Article
- Export citation
Maria de la Cinta Badillo. Fundamentos en relación con lógica simbólica polivalente. Gaceta matemática, ser. 1 vol. 7 (1955), pp. 7–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
- Print publication:
- March 1962
-
- Article
- Export citation
S. F. Barker. Induction and hypothesis, A study of the logic of confirmation. Cornell University Press, Ithaca1957, and Oxford University Press, London 1958, xvi + 203 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-123
- Print publication:
- March 1962
-
- Article
- Export citation
S. C. Kleene. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 (1959), pp. 1–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-83
- Print publication:
- March 1962
-
- Article
- Export citation
H. Rasiowa and R. Sikorski. On the isomorphism of Lindenbaum algebras with fields of sets. Colloquium mathematicum, vol. 5 (1958), pp. 143–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 98
- Print publication:
- March 1962
-
- Article
- Export citation
Disjunction and existence under implication in elementary intuitionistic formalisms
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 11-18
- Print publication:
- March 1962
-
- Article
- Export citation
R. S. Pierce. Representation theorems for certain Boolean algebras. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 42–50.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-101
- Print publication:
- March 1962
-
- Article
- Export citation
Azriel Lévy. Axiom schemata of strong infinity in axiomatic set theory. Pacific journal of mathematics, vol. 10 (1960), pp. 223–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 88-89
- Print publication:
- March 1962
-
- Article
- Export citation
Leon Henkin. Two concepts from the theory of models. The journal of symbolic logic, vol. 21 (1956), pp. 28–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
- Print publication:
- March 1962
-
- Article
- Export citation
Abraham Robinson. Applications to field theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 326–331.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
- Print publication:
- March 1962
-
- Article
- Export citation
Roderick M. Chisholm. Perceiving: A philosophical study. Cornell University Press, Ithaca1957, xi + 203 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-124
- Print publication:
- March 1962
-
- Article
- Export citation
Elections
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
- Print publication:
- March 1962
-
- Article
- Export citation
Jerome Rothstein. A physicist's thoughts on the formal structure and psychological motivation of theory and observation. Revue internationale de philosophie, vol. 11 (1957), pp. 211–226.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 126
- Print publication:
- March 1962
-
- Article
- Export citation
Ivo Thomas. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 (1960), pp. 48–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
- Print publication:
- March 1962
-
- Article
- Export citation
Ivo Thomas. Independence of Tarski's law in Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 (1960), pp. 74–78.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 111
- Print publication:
- March 1962
-
- Article
- Export citation
J. Łos. On the extending of models (I). Fundamenta mathematicae, vol. 42 (1955), pp. 38–54. - J. Łos and R. Suszko. On the extending of models (II). Common extensions. Fundamenta mathematicae, vol. 42 (1955), pp. 343–347. - J. Słomiński. On the extending of models (III). Extensions in equationally definable classes of algebras. Fundamenta mathematicae, vol. 43 (1956), pp. 69–76. - J. Łos and R. Suszko. On the extending of models (IV). Infinite sums of models. Fundamenta mathematicae, vol. 44 (1957), pp. 52–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 93-95
- Print publication:
- March 1962
-
- Article
- Export citation
Frederick C. HennieIII., Iterative arrays of logical circuits. M.I.T. Press research monograph. The M.I.T. Press, Cambridge, Mass., and John Wiley Sons, Inc., New York and London, 1961, x + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-107
- Print publication:
- March 1962
-
- Article
- Export citation
Franz E. Hohn. Applied Boolean algebra. An elementary introduction. The Macmillan Company, New York1960, xx + 139 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-106
- Print publication:
- March 1962
-
- Article
- Export citation
Simon Kochen. Completeness of algebraic systems in higher order calculi. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 370–376.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 97
- Print publication:
- March 1962
-
- Article
- Export citation
Solomon Feferman. Degrees of unsolvability associated with classes of formalized theories. The journal of symbolic logic, vol. 22 (1957), pp. 161–175. - J. R. Shoenfield. Degrees of formal systems. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 389–392.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 1 / March 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-86
- Print publication:
- March 1962
-
- Article
- Export citation