13629 results in The Journal of Symbolic Logic
Carlos Vaz Fekreira. Transcendentalizaciones matemáticas ilegítimas y falacias correlacionadas. Versión taquigráfica de las conferencias pronunciadas en la Facultad de Filosofía y Letras de Buenos Aires. Publicaciones de filosofía contemporánea, vol. 2. Universidad de Buenos Aires, Facultad de Filosofía y Letras, Instituto de Filosofía, Buenos Aires1940, 44 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1952
-
- Article
- Export citation
A. M. Turing. The word problem in semi-groups with cancellation. Annals of mathematics, ser. 2 vol. 52 (1950), pp. 491–505.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-76
- Print publication:
- March 1952
-
- Article
- Export citation
Arnold Schmidt. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 (1951), pp. 187–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1952
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 78-80
- Print publication:
- March 1952
-
- Article
- Export citation
D. B. McCallum and J. B. Smith. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 (1951), pp. 126–133.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1952
-
- Article
- Export citation
Arnold Schmidt. Wie dürfen wir mit dem Unendlichen umgehen? (Die Grundlage des mathematischen Intuitionismus.)Mathematisch-physikalische Semesterberichte zur Pflege des Zusammenhangs von Schule und Universität (Gottingen), vol. 1 no. 3–4 (1950), pp. 200–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1952
-
- Article
- Export citation
An extension of computational logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 32-34
- Print publication:
- March 1952
-
- Article
- Export citation
Zyoiti Suetuna. Sügaku no saiken ni tuite (On the reconstruction of mathematics). Risô, no. 197 (1949), pp. 17–26.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1952
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku no kiso wo nasu tyokkan ni tuite (On the intuition which forms the foundation of mathematics). Kisokagaku, vol. 3 no. 5 (1949), pp. 347–350 (no. 12, pp. 1–4).
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1952
-
- Article
- Export citation
Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton1951, 82 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1952
-
- Article
- Export citation
Motokiti Kondô. Syûgô-ron ni okeru effective no gainen ni tuite (On the notion of effectiveness in the theory of sets). Tôkyô Buturigakkô zassi, vol. 47, no. 600 (1941), pp. 377–381.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 64
- Print publication:
- March 1952
-
- Article
- Export citation
Jan Kalicki. On Tarski's matrix method. Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, vol. 41 (for 1948, pub. 1950), pp. 130–142.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 67
- Print publication:
- March 1952
-
- Article
- Export citation
The system LD
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-42
- Print publication:
- March 1952
-
- Article
- Export citation
Yehoshua Bar-Hillel. Comments on logical form. Philosophical studies, vol. 2 no. 4., pp. 26–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 69
- Print publication:
- March 1952
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku ni okeru mugen no haaku (Understanding of infinity in mathematics). Kisokagaku, vol. 2 no. 1 (1948), pp. 68–70 (no. 3, pp. 4–6).
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1952
-
- Article
- Export citation
Fritz Paradies. Die Konformationsregeln der empirischen Rechtswissenschaft. Methodos, vol. 1 (1949), pp. 259–269. - Fritz Paradies. The conformation rules of empirical jurisprudence. English translation of the preceding by Ernst v. Glasersfeld. Methodos, vol. 1 (1949), pp. 270–276.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1952
-
- Article
- Export citation
A. Natucci. 2 + 2 fanno 4. Periodico di matematiche, ser. 4 vol. 29 (1951), pp. 198–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 77
- Print publication:
- March 1952
-
- Article
- Export citation
Victor Kraft. Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jüngsten Philosophiegeschichte. Springer Verlag, Vienna1950, VI + 179 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 62
- Print publication:
- March 1952
-
- Article
- Export citation
Haskell B. Curry. A simplification of the theory of combinators. Synthese, vol. 7 (1948–1949), pp. 391–399.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, p. 76
- Print publication:
- March 1952
-
- Article
- Export citation
A. A. Markov. On the representation of recursive functions. English translation of XV 66 (2). American Mathematical Society, translation number 54. Lithoprinted. New York1951, 13 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-73
- Print publication:
- March 1952
-
- Article
- Export citation