12 results
Katuzi Ono. A certain kind of formal theories. Nagoya mathematical journal, vol. 25 (1965), pp. 59–86.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 503
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. On universal character of the primitive logic. Nagoya mathematical journal, vol. 27 (1966), pp. 331–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 503-504
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. A formalism for primitive logic and mechanical proof-checking.Nagoya mathematical journal, vol. 26 (1966), pp. 195–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Katuzi Ono. A pursuit of simple basic systems. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 (1966), pp. 6–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 504
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Satoshi Miura. A remark on the intersection of two logics. Nagoya mathematical journal, vol. 26 (1966), pp. 167–171.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 504-505
- Print publication:
- 17 November 1969
-
- Article
- Export citation
Luis E. Sanchis. Types in combinatory logic. Notre Dame journal of formal logic, vol. 5 no. 3 (1964), pp. 161–180.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 420-421
- Print publication:
- 09 October 1967
-
- Article
- Export citation
Harald Delius. Positivismus und Neopositivismus. Philosophie, Das Fischer Lexikon, Fischer Bücherei, Francfort et Hambourg1958, pp. 269–286.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 68-69
- Print publication:
- March 1960
-
- Article
- Export citation
H. Seifert. Gedenken an Heinrich Scholz. Heinrich Scholz, Schriften der Gesellschaft zur Förderung der Westfälischen Wilhelms-Universität zu Münster, n° 41, Verlag Aschendorff, Münster Westf., 1958, pp. 5–9. - Carl Heinz Ratschow. Heinrich Scholz, der Theologe und der Christ. Heinrich Scholz, Schriften der Gesellschaft zur Förderung der Westfälischen Wilhelms-Universität zu Münster, n° 41, Verlag Aschendorff, Münster Westf., 1958, pp. 10–24. - Hans Hermes. Heinrich Scholz, die Persönlichkeit und sein Werk als Logiker. Heinrich Scholz, Schriften der Gesellschaft zur Förderung der Westfälischen Wilhelms-Universität zu Münster, n° 41, Verlag Aschendorff, Münster Westf., 1958, pp. 25–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-66
- Print publication:
- March 1960
-
- Article
- Export citation
Günther Patzig. Logistik. Philosophie, Das Fischer Lexikon, Fischer Bücherei, Francfort et Hambourg1958, pp. 160–173.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- March 1960
-
- Article
- Export citation
Wolfgang Stegmüller. Wissenschaftstheorie. Philosophie, Das Fischer Lexikon, Fischer Bücherei, Francfort et Hambourg1958, pp. 327–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-70
- Print publication:
- March 1960
-
- Article
- Export citation
Evert W. Beth. Inleiding tot de wijsbegeerte der exacte wetenschappen (Introduction à la philosophie des sciences exactes). Uitgeversmij. N.V. Standaard-Boekhandel, Anvers et Amsterdam1953, 144 p.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1960
-
- Article
- Export citation
Günther Patzig. Logik. Philosophie, Das Fischer Lexikon, Fischer Bücherei, Francfort et Hambourg1958, pp. 147–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 25 / Issue 1 / March 1960
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-67
- Print publication:
- March 1960
-
- Article
- Export citation