13629 results in The Journal of Symbolic Logic
Karel Lambert. On naming and claiming. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 43–46.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 182-183
- Print publication:
- June 1959
-
- Article
- Export citation
Leon Henkin. A generalization of the concept of ω-completeness. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-173
- Print publication:
- June 1959
-
- Article
- Export citation
J. Ridder. Formalistische Betrachtungen über intuitionistische und verwandte logische Systeme. Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, Bd. 53 (1950), S. 327–336, 446–455, 787–799, 1375–1389, und Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, ser. A, Bd. 54 (1951), S. 94–105, 169–177, 226–236; auch Indagationes mathematical Bd. 12 (1950), S. 75–84, 98–107, 231–243, 445–459, und Bd. 13 (1951), S. 94–105, 169–177, 226–236.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
- Print publication:
- June 1959
-
- Article
- Export citation
On logics intermediate between intuitionistic and classical predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-153
- Print publication:
- June 1959
-
- Article
- Export citation
Daya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 1 (1958), pp. 7–11. - S. Bhattacharyya. Symmetry, transitivity and reflexivity. Analysis (Oxford), vol. 19 no. 4 (1959), pp. 93–96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
- Print publication:
- June 1959
-
- Article
- Export citation
On Ackermann's set theory1
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 154-166
- Print publication:
- June 1959
-
- Article
- Export citation
P. Naslin. Circuits à relais et automatismes à séquences. Dunod, Paris1958, XII + 229 pp. - Pierre Naslin. Introduction à l′étude des automatismes à séquences. Automatisme (Paris), vol. 3 (1958), pp. 3–11, 43–49, 87–94, 135–143, 179–185, 225–228, 260–265.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- June 1959
-
- Article
- Export citation
Azriel Levy. A note on definitions of finiteness. The bulletin of the Research Council of Israel, Section F, Mathematics and physics, vol. 7F no. 2 (1958), pp 83–84.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 172
- Print publication:
- June 1959
-
- Article
- Export citation
Jaakko Hintikka. Necessity, universality, and time in Aristotle. Ajatus, vol. 20 (1957), pp. 65–90.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 180
- Print publication:
- June 1959
-
- Article
- Export citation
Jean Porte. La méthode formelle en mathématique. La méthode dans les sciences modernes, Éditions Science et Industrie, Paris1958, pp. 59–67.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 173
- Print publication:
- June 1959
-
- Article
- Export citation
J. C. H. Gerretsen. Het getalbegrip (The number concept). Eerste Nederlandse systematisch ingerichte encyclopaedic, Vol. 4, Amsterdam1949, pp. 16–33.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1959
-
- Article
- Export citation
J. C. H. Gerretsen. Wiskundige logica. Axiomatica. (Mathematical logic. Axiomatic theory and method). Eerste Nederlandse systematisch ingerichte encyclopaedic, Vol. 4, Amsterdam1949, pp. 3–16.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
- Print publication:
- June 1959
-
- Article
- Export citation
A propositional calculus with denumerable matrix
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-106
- Print publication:
- June 1959
-
- Article
- Export citation
László Kalmár. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára (A direct proof of the unsolvability of the decision problem by means of a general recursive algorithm). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 6 (1956), pp. 1–25.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- June 1959
-
- Article
- Export citation
G. N. Povarov. O métodiké analiza simmétričéskih kontaktnyh shém (Concerning the method of analysis of symmetrical contact circuits). Avtomatika i téléméhanika, vol. 16 (1955), pp. 364–366.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 188
- Print publication:
- June 1959
-
- Article
- Export citation
Joseph Gerard Brennan. A handbook of logic. Harper & Brothers, New York1957, x + 222 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 186
- Print publication:
- June 1959
-
- Article
- Export citation
Notice of a symposium on problems in the structure of language
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
- Print publication:
- June 1959
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 95–108.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 174-175
- Print publication:
- June 1959
-
- Article
- Export citation
Alan Rose. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 196–197.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 176
- Print publication:
- June 1959
-
- Article
- Export citation
Paul Lorenzen. Zur Begründung der zweiwertigen Aussagenlogik. Ebd., S. 29–32; auch ebd., S. 109–112.
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1959
-
- Article
- Export citation