Jōhō kagaku no tame no ronri sūgaku

Tōkyō: Nihon Hyōronsha. Edited by Tsutomu Hosoi (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.H67 1992

ISBN(s)

4535601186   9784535601185
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ronri sūgaku.Ikuo Tahara - 2015 - Tōkyō-to Shinjuku-ku: Kindai Kagakusha.
Jōhō jidai no ronri: atarashii ronrigaku e no sasoi.Nobuyoshi Motohashi - 1992 - Tōkyō: Nihon Hyōronsha.
Nakamura Akira. Yôsô ronri to tati ronri no kankei ni tuite . Kagaku kisoron kenkyû , vol. 6 no. 1 , pp. 34–40, and vol. 6 no. 4 , pp. 15–20. [REVIEW]Takeo Sugihara - 1970 - Journal of Symbolic Logic 35 (4):582-582.
Sūgaku ni okeru shōmei to shinri: yōsō ronri to sūgaku kisoron = Proof and truth in mathematics: modal logic and the foundations of mathematics.Katsuhiko Sano (ed.) - 2016 - Tōkyō-to Bunkyō-ku: Kyōritsu Shuppan.
Kuroda Sigekatu. Sûgaku no tyokkansei to sono mu-muzyunsei ni tuite . Kisokagaku, vol. 1 no. 2 , pp. 33–44.Kuroda Sigekatu. Aristotle no ronri to Brouwer no ronri ni tuite . Kagaku, vol. 18 no. 1 , pp. 2–10.Kuroda Sigekatu. Intuitionistische Untersuchungen der formalistischen Logik. Nagoya mathematical journal, vol. 2 , pp. 35–47. [REVIEW]M. Ohnishi - 1956 - Journal of Symbolic Logic 21 (2):196-196.
Akira Nakamura. Tati ronri to sono kôrikei ni tuite . Kagaku kisoron kenkyû , vol. 5 no. 4 , pp. 165–171.Takeo Sugihara - 1966 - Journal of Symbolic Logic 31 (2):274-275.
Review: Akira Nakamura, (Yoso ronri to tati ronri no kankei ni tuite): On the Relation between Modal Logic and Many-Valued Logic. [REVIEW]Takeo Sugihara - 1970 - Journal of Symbolic Logic 35 (4):582-582.
Kagaku to ronri.Shigeo Nagai - 1971
Tame failures of the unique branch hypothesis and models of ADℝ + Θ is regular.Grigor Sargsyan & Nam Trang - 2016 - Journal of Mathematical Logic 16 (2):1650007.
Wolfgang Maass. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 , pp. 149–170. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):665-667.
Kagaku to tetsugaku: ronri, butsuri, kokoro, gengo.Sōshichi Uchii & Michio Kobayashi (eds.) - 1988 - Kyōto-shi: Shōwadō.
Logic for Information Technology.Antony Galton - 1990
反照論理學: 社会科学基礎論.Jirō Hayakawa - 1994 - Tōkyō: Hokuju Shuppan.
Correction to “T-convexity and tame extensions II”.Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597-1597.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.

Analytics

Added to PP
2023-05-15

Downloads
5 (#1,533,504)

6 months
3 (#967,057)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references