13629 results in The Journal of Symbolic Logic
Gustavo Bueno Martínez. Una nueva exposición de la silogística. Revista de filosofia (Madrid), vol. 10 (1951), pp. 603–640.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 304
- Print publication:
- December 1954
-
- Article
- Export citation
JSL volume 19 issue 4 Cover and Back matter and Errata
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b10
- Print publication:
- December 1954
-
- Article
-
- You have access
- Export citation
The recursive irrationality of π
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-274
- Print publication:
- December 1954
-
- Article
- Export citation
Alan Rose. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen, vol. 127 (1954), pp. 255–257.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 295
- Print publication:
- December 1954
-
- Article
- Export citation
Ilona Bereczki. Nem elemi rekurzív függvény létezése (Existenz einer nichtelementaren rekursiven Funktion). Ungarisch, mit deutschem Auszug, und kurzem russischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2 – Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathémetique János Bolyai, Budapest1952, S. 409–417.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 298-299
- Print publication:
- December 1954
-
- Article
- Export citation
G. F. C. Griss. Negationless intuitionistic mathematics II, III, IV. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 456–463, and series A, vol. 54 (1951), pp. 193–199, 452–471; also Indagationes mathematicae, vol. 12 (1950), pp. 108–115, and vol. 13 (1951), pp. 193–199, 452–471.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 296-297
- Print publication:
- December 1954
-
- Article
- Export citation
Hao Wang. A theory of constructive types. Methodos, vol. 1 (1949), pp. 374–384.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
- Print publication:
- December 1954
-
- Article
- Export citation
R. Feys. Oudere en nieuwe modaliteitenlogica (Old and new logic of modalities). Handelingen van het Negentiende Vlaamse Filologencongres, Brussels1951, pp. 284–289.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 294
- Print publication:
- December 1954
-
- Article
- Export citation
Ideographic computation in the propositional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-171
- Print publication:
- September 1954
-
- Article
- Export citation
Stephen Cole Kleene. Introduction to metamathematics. North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952; D. van Nostrand Company, New York and Toronto 1952; X + 550 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 215-216
- Print publication:
- September 1954
-
- Article
- Export citation
Related Citations
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-240
- Print publication:
- September 1954
-
- Article
- Export citation
Jerzy Słupecki. O właściwych regułach inferencyjnych (On proper rules of inference). Kwartalnik filozoficzny, vol. 18 (1949), pp. 309–312. English résumé, ibid., pp. 325–326.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 234
- Print publication:
- September 1954
-
- Article
- Export citation
A. Mostowski. On models of axiomatic systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 133–158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 220-221
- Print publication:
- September 1954
-
- Article
- Export citation
Makoto Itô. Kagaku ronrigaku no tenbô (A survey of scientific logic). Kisokagaku, vol. 3 no. 3 (1949), pp. 294–299.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
Raymond L. Wilder. Introduction to the foundations of mathematics. John Wiley & Sons, New York1952, xiv + 305 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-227
- Print publication:
- September 1954
-
- Article
- Export citation
Kanzi Taguti. Ronrigaku – Hurui ronrigaku to atarasii ronrigaku (Logic – New logic and old logic). Risôsya, Tokyo1954, 203 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
Katsumi Nakamura. Kagakutehi ninsiki – Wien Gakudan no kenkai (Scientific knowledge – the view of the Vienna Circle). Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 1–27. (Reprinted from Kagaku sityô (Tokyo), no. 9 (1942).)
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 235
- Print publication:
- September 1954
-
- Article
- Export citation
An undecidable problem in the algebra of truth-tables
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 172-176
- Print publication:
- September 1954
-
- Article
- Export citation
N. M. Nagornyj. K usiléniú téorémy privédéniá téorii algorifmov (Towards strengthening of the reduction theorem of the theory of algorithms). Doklady Akadémi Nauk SSSR, vol. 90 (1953), pp. 341–342.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 218
- Print publication:
- September 1954
-
- Article
- Export citation
Karl Menger. Sin ronrigaku. Japanese translation of 3706 by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 29–73. - Walter Dubislav. Kigô ronrigaku zyosetu (Introduction to symbolic logic). Japanese translation of Chapters 2 and 3 of 32814 and Der metamathematische Problemkreis from 32812, by Syûitirô Yosioka. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 75–142. - Rudolf Carnap. Kigô ronrigaku no taikei. Japanese translation of System der Logistik (Part I of 3523) by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 143–248. - Jan Łukasiewicz. Tati ronrigaku no tetugakuteki kôsatu. Japanese translation of 1868 by Makoto ltô. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 249–282. - Jan Łukasiewicz. Ronrigaku to sono kisoteki mondai. Japanese translation of VII 35(5) by Makoto Itô. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 283–309. - Karl Popper. Tankyû ronrigaku zyosetu. Japanese translation of the Einführung of 537½1 by Syûitirô Yosioka. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 311–349. - Hans Hahn. Ronrigaku, sûgaku, oyobi sizen ninsiki. Japanese translation of 4193 by Yû Sinohara. Kagaku ronrigaku, Nissin-Syoin, Tokyo1944, pp. 351–400. - A. D. Aleksandrow. O idealiźmie w matematyce. Myśl filozoficzna, vol. 1 no. 3 (1952), pp. 183–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 236
- Print publication:
- September 1954
-
- Article
- Export citation