13629 results in The Journal of Symbolic Logic
Gaisi Takeuti and Akiko Kino. On predicates with constructive infinitely long expressions. Journal of the Mathematical Society of Japan, vol. 15 (1963), pp. 176–190.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-98
- Print publication:
- March 1965
-
- Article
- Export citation
Milton Fisk. A modern formal logic. Prentice-Hall fundamentals of logic series. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1964, xi + 116 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 87-88
- Print publication:
- March 1965
-
- Article
- Export citation
Robert Blanché. Axiomatics. English translation of XXIII 438, by G. B. Keene. Monographs in modern logic. The Free Press of Glencoe, New York1962, v + 65 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 105
- Print publication:
- March 1965
-
- Article
- Export citation
Paul Axt. Enumeration and the Grzegorczyk hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 9 (1963), S. 53–65.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
- Print publication:
- March 1965
-
- Article
- Export citation
Limiting recursion
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 28-48
- Print publication:
- March 1965
-
- Article
- Export citation
Leon Henkin. An extension of the Craig-Lyndon interpolation theorem. The journal of symbolic logic, vol. 28 no. 3 (for 1963, pub. 1964), pp. 201–216.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 98-99
- Print publication:
- March 1965
-
- Article
- Export citation
A generalization of Nelson's algorithm for obtaining prime implicants
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 8-12
- Print publication:
- March 1965
-
- Article
- Export citation
Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 103-104
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 (1955), pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1965
-
- Article
- Export citation
M. J. Ghazala Gazalé. Irredundant disjunctive and conjunctive forms of a Boolean function. IBM journal of research and development, vol. 1 (1957), pp. 171–176. - T. Rado. Comments on the presence function of Gazalé. IBM journal of research and development, vol. 6 (1962), pp. 268–269.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 106-109
- Print publication:
- March 1965
-
- Article
- Export citation
Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
- Print publication:
- March 1965
-
- Article
- Export citation
Arto Salomaa. Some completeness criteria for sets of functions over a finite domain. II. Annales Universitatis Turkuensis, Series AI, no. 63. Turun Yliopisto, Turku1963, 19 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 106
- Print publication:
- March 1965
-
- Article
- Export citation
An incorrect theorem1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 27
- Print publication:
- March 1965
-
- Article
- Export citation
A. N. Radčénko and V. I. Filippov. Sdvigaúščie régistry s logičéskoj obratnoj sváz'ú i ih ispol'zovanié v kačéstvé sčétnyh i kodiruúščih ustrojstv (Shift registers with logic feedback and their application as computers and code devices). Avtomatika i télémehanika, vol. 20 (1959), pp. 1507–1514.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 109
- Print publication:
- March 1965
-
- Article
- Export citation
Hao Wang. Between number theory and set theory. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 478–506.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 100
- Print publication:
- March 1965
-
- Article
- Export citation
Aleksandr Sergeyevich Yesenin-Volpin. Svobodny filosofskij traktat (A free philosophical treatise). Russian with English translation in parallel. Vésénnij list (A leaf of spring), Frederick A. Praeger, New York1961, pp. 109–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 104-105
- Print publication:
- March 1965
-
- Article
- Export citation
An algebraic study of Diodorean modal systems
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 58-64
- Print publication:
- March 1965
-
- Article
- Export citation
A. Tarski. Remarks on predicate logic with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 171–176. - Alfred Tarski. Remarks on predicate logic with infinitely long expressions. 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. 160–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
- Print publication:
- March 1965
-
- Article
- Export citation
Paul Lorenzen. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 (1953), pp. 605–609.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 104
- Print publication:
- March 1965
-
- Article
- Export citation
On the notational independence of various hierarchies of degrees of unsolvability1
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 1 / March 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-86
- Print publication:
- March 1965
-
- Article
- Export citation