12 results
Extendible sentential calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 3 / September 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 193-202
- Print publication:
- September 1959
-
- Article
- Export citation
Inferential equivalence and natural deduction
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-240
- Print publication:
- September 1957
-
- Article
- Export citation
Types and Environments
-
- Journal:
- Philosophy of Science / Volume 24 / Issue 3 / July 1957
- Published online by Cambridge University Press:
- 14 March 2022, pp. 215-220
- Print publication:
- July 1957
-
- 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
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
Kazimierz Ajdukiewicz. Zarys logiki. Książka pomocnicza dla nauczyciela. (An outline of logic. Manual for teachers.) Państwowe Zakłady Wydawnictw Szkolnych, Warsaw1953, 188 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
Tadeusz Kotarbiński. Kurs logiki dla prawników (A course in logic for law students). Państwowe Wydawnictwo Naukowe, Warsaw1953, 194 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 2 / June 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- June 1954
-
- Article
- Export citation
A. Korcik. Geneza pomyslu Sheffera dotyczącego redukcji pięciu stalycḣ logicznych do pewnej stałej różnej od nich (Genesis of the idea of Sheffer concerning the reduction of five logical constants to a constant different from them). Roczniki filozqficzne (Lublin), vol. 2–3 (for 1949–50, pub. 1951), pp. 423–428.
-
- Journal:
- The Journal of Symbolic Logic / Volume 18 / Issue 4 / December 1953
- Published online by Cambridge University Press:
- 12 March 2014, p. 345
- Print publication:
- December 1953
-
- Article
- Export citation
Tadeusz Kotarbiński. Kurs logiki dla prawników (A course in logic for law students). Gebethner i Wolff, Warsaw1951, 255 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 17 / Issue 1 / March 1952
- Published online by Cambridge University Press:
- 12 March 2014, pp. 60-61
- Print publication:
- March 1952
-
- Article
- Export citation
Rudolf Carnap. The nature and application of inductive logic, consisting of six sections from: Logical foundations of probability. The University of Chicago Press, Chicago1951, pp. i–viii, 161–202, 242–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- December 1951
-
- Article
- Export citation
Władysław Tatarkiewicz. Historia filozofii (History of philosophy). Vol. 3. Filozofia XIX wieku i współczesna (Nineteenth century and contemporary philosophy). Czytelnik, Warsaw1950, 602 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- December 1951
-
- Article
- Export citation
Hans Hermes. Zur Theorie der aussagenlogischen Matrizen. Mathematische Zeitschrift, vol. 53 no. 5 (1951), pp. 414–418.
-
- Journal:
- The Journal of Symbolic Logic / Volume 16 / Issue 4 / December 1951
- Published online by Cambridge University Press:
- 12 March 2014, p. 275
- Print publication:
- December 1951
-
- Article
- Export citation