13629 results in The Journal of Symbolic Logic
R. L. Goodstein. On the nature of mathematical systems. Englisch, mit englischem und französischem Résumé. Ebd., S. 92–112; auch ebd., S. 296–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 226-227
- Print publication:
- June 1962
-
- Article
- Export citation
A. S. Kahr, Edward F. Moore, and Hao Wang. Entscheidungsproblem reduced to the ∀∃∀ case. Proceedings of the National Academy of Sciences, Bd. 48 (1962), S. 365–377.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 225
- Print publication:
- June 1962
-
- Article
- Export citation
Norman R. Scott. Introduction to switching algebra. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 1–13. - W. J. Cadden. Binary numbers, codes, and translators. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 15–30. - J. P. Runyon. Formulation of switching problems. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 31–45. - E. J. Tanana. The map method. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 47–65. - E. J. MccluskeyJr., Minimization theory. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 67–88. - T. C. Bartee. Design using computers. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 89–102. - References for Part I. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 103–105. - E. J. MccluskeyJr., Introduction to state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 109–119. - J. P. Runyon. Derivation of completely and partially specified state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 121–144. - S. H. Unger. Simplification of state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 145–170. - Montgomery PhisterJr., Circuit synthesis from state tables. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 171–186. - I. S. Reed. Mathematical structure of sequential machines. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 187–196. - References for Part II. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 196–200. - Index. A survey of switching circuit theory, edited by E. J. McCluskeyJr., and T. C. Bartee, McGraw-Hill Book Company, New York1962, pp. 201–205.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-252
- Print publication:
- June 1962
-
- Article
- Export citation
Alan Pasch. Experience and the analytic. A reconsideration of empiricism. The University of Chicago Press, Chicago1958, xvii + 275 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- June 1962
-
- Article
- Export citation
Reviews - Robert B. Lees. The grammar of English nominalizations. Publication twelve of the Indiana University Research Center in Anthropology, Folklore, and Linguistics; also Part II of the International journal of American linguistics, vol. 26 no. 3 (1960), xxvi + 205 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- June 1962
-
- Article
- Export citation
Jan Łukasiewicz. Aristotle's syllogistic from the standpoint of modern formal logic. Second edition of XVII 209. Clarendon Press, Oxford1957, xiii + 222 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
- Print publication:
- June 1962
-
- Article
- Export citation
Ferdinand Gonseth. Le problème du language et l'ouverture à l′expérience. Logica, Studia Paul Bernays dedicata, Bibliothèque scientifique 34, Éditions du Griffon, Neuchâtel 1959, S. 84–91; auch Dialectica, Bd. 12 (1958), S. 288–295.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 226
- Print publication:
- June 1962
-
- Article
- Export citation
Theories incomparable with respect to relative interpretability
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-211
- Print publication:
- June 1962
-
- Article
- Export citation
S. C. Kleene. Realizability. 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. 285–289. - S. C. Kleene. Realizability. 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. 100–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
- Print publication:
- June 1962
-
- Article
- Export citation
A. Borgers. La théorie des ensembles. Mathématiques du XXe siècle, vol. 1 (1960), pp. 35–43.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 224
- Print publication:
- June 1962
-
- Article
- Export citation
John L. Kelley. General topology. D. van Nostrand Company, Inc., New York, Toronto, and London, 1955, xiv + 298 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- June 1962
-
- Article
- Export citation
Juan David García Bacca. Planes de lógica juridica. Studia iuridica (Caracas), no. 2 (1958), pp. 13–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 221
- Print publication:
- June 1962
-
- Article
- Export citation
B. Banaschewski. On transfinite iteration. Fundamenta mathematicae, vol. 46 (1958), pp. 225–229.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- June 1962
-
- Article
- Export citation
R. S. Lehman. On primitive recursive real numbers. Fundamenta mathematicae, vol. 49 (1961), pp. 105–118.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-246
- Print publication:
- June 1962
-
- Article
- Export citation
A. H. Lachlan. The U-quantifier. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 171–174.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 244
- Print publication:
- June 1962
-
- Article
- Export citation
J. Paul Roth and R. M. Karp. Minimization over Boolean graphs. IBM journal of research and development, vol. 6 (1962), pp. 227–238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 252
- Print publication:
- June 1962
-
- Article
- Export citation
R. L. Goodstein. Recursive analysis. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1961, viii + 138 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-245
- Print publication:
- June 1962
-
- Article
- Export citation
Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Englisch, mit englischem, deutschem und französischem Zusammenfassung. Ebd., S. 190–203; auch ebd., S. 394–407. - Abraham Robinson. Relative model-completeness and the elimination of quantifiers. Eine Abkürzung desselben. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2. Auflage, Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, S. 155–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-230
- Print publication:
- June 1962
-
- Article
- Export citation
A. Heyting. Blich von der intuitionistischen Warte. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 128–141; auch edb., S. 332–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-228
- Print publication:
- June 1962
-
- Article
- Export citation
Kurt Schütte. Aussagenlogische Grundeigenschaften formaler Systeme. Deutsch, mit deutschem, französischem und englischem Résumé. Ebd., S. 218–238, auch ebd., S. 422–442.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, pp. 230-231
- Print publication:
- June 1962
-
- Article
- Export citation