13629 results in The Journal of Symbolic Logic
D. Hilbert and W. Ackermann. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg1959, VIII + 188 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 158
- Print publication:
- June 1960
-
- Article
- Export citation
Albert A. Mullin and Wayne G. Kellner. A residue test for Boolean functions. Transactions of the Illinois State Academy of Science, vol. 51 nos. 3 and 4, (1958), pp. 14–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 185
- Print publication:
- June 1960
-
- Article
- Export citation
Raymond M. Smullyan. Undecidability and recursive inseparability. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 143–147.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- June 1960
-
- Article
- Export citation
Richard M. Friedberg. Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959) pp. 309–316.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
- Print publication:
- June 1960
-
- Article
- Export citation
Nicolas Rouche. Recherche d'une algèbre logique continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 90–99. - Wolfe Mays. Cybernetic models and thought processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 103–110. - Henryk Greniewski. Logique et cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 117–119. - M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM journal of research and development, vol. 3 (1959), pp. 114–125. - J. C. Shepherdson. The reduction of two-way automata to one-way automata. IBM journal of research and development, vol. 3 (1959), pp. 198–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-164
- Print publication:
- June 1960
-
- Article
- Export citation
Abraham Robinson. Ordered structures and related concepts. Mathematical interpretation of formai systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 51–56.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 170
- Print publication:
- June 1960
-
- Article
- Export citation
Richard M. Friedberg. A criterion for completeness of degrees of unsolvability. The journal of symbolic logic, vol. 22 no. 2 (1957) pp. 159–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
- Print publication:
- June 1960
-
- Article
- Export citation
Abraham Robinson. On predicates in algebraically closed fields. The journal of symbolic logic, vol. 19 (1954), pp. 103–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-170
- Print publication:
- June 1960
-
- Article
- Export citation
Newton Carneiro Affonso da Costa. Nota sôbre o conceito de contradição. Portuguese, with English summary. Anuário da Sociedade Paranaense de Matemática, ser. 2 vol. 1 (1958), pp. 6–8. - Newton Carneiro Affonso da Costa. Nota sôbre a lógica de Brouwer-Heyting. Portuguese, with English summary. Anuário da Sociedade Paranaense de Matemática, ser. 2 vol. 1 (1958), pp. 9–10. - Newton Carneiro Affonso da Costa. Uma questão de filosofia da matemática. Portuguese, with English summary. Anuário da Sociedade Paranaense de Matemática, ser. 2 vol. 1 (1958), pp. 21–27.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 160
- Print publication:
- June 1960
-
- Article
- Export citation
Toshio Umezawa. On intermediate propositional logics. Ebd., Bd. 24 Nr. 1 (1959), S. 20–36.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
- Print publication:
- June 1960
-
- Article
- Export citation
R. Montague and R. L. Vaught. A note on theories with selectors. Fundamenta mathematical vol. 47 (1959), pp. 243–247.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-178
- Print publication:
- June 1960
-
- Article
- Export citation
Moh Shaw-Kwei. Modal systems with a finite number of modalities. Revised English translation of XXV 184(2). Scientia Sinica, vol. 7 no. 4 (1958), pp. 388–412.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-184
- Print publication:
- June 1960
-
- Article
- Export citation
M. A. Gavrilov. Minimizaciá bulévyh funkcij haraktérizuúščih réléjnyé cépi (Minimization of Boolean functions that characterize switching circuits). Avtomatika i téléméhanika, vol. 20 (1959), pp. 1217–1238.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
- Print publication:
- June 1960
-
- Article
- Export citation
Heinz Zemanek. Une machine pour l'algèbre des contacts. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, pp. 232–234.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 163
- Print publication:
- June 1960
-
- Article
- Export citation
Günter Asser and Karl Schröter. Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls. Mathematische Nachrichten, vol. 19 no. 1–6 (1958), pp. 73–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
- Print publication:
- June 1960
-
- Article
- Export citation
Bases for first-order theories and subtheories
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-142
- Print publication:
- June 1960
-
- Article
- Export citation
Entailment and relevance1
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-146
- Print publication:
- June 1960
-
- Article
- Export citation
R. Harrop. On the existence of finite models and decision procedures for propositional calculi. Proceedings of the Cambridge Philosophical Society, vol. 54 (1958), pp. 1–13.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 180-181
- Print publication:
- June 1960
-
- Article
- Export citation
Abraham Robinson. Some problems of definability in the lower predicate calculus. Fundamenta mathematicae, vol. 44 (1957), pp. 309–329.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 171
- Print publication:
- June 1960
-
- Article
- Export citation
R. Montague and R. L. Vaught. Natural models of set theories. Fundamenta mathematical vol. 47 (1959), pp. 219–242.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 2 / June 1960
- Published online by Cambridge University Press:
- 12 March 2014, p. 177
- Print publication:
- June 1960
-
- Article
- Export citation