Yasugi, Mariko.
八杉, 満利子, 1937-
八杉, 満利子
VIAF ID: 19910446 (Personal)
Permalink: http://viaf.org/viaf/19910446
Preferred Forms
- 200 _ | ‡a Yasugi ‡b Mariko
-
-
- 100 1 _ ‡a Yasugi, Mariko
-
- 100 1 _ ‡a 八杉, 満利子
- 100 1 _ ‡a 八杉, 満利子 ‡d 1937-
- 100 1 _ ‡a 八杉, 満利子, ‡d 1937-
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Fukanzensei teiri | |
Gödel | |
Interpretations of set theory and ordinal number theory = 集合論及び順序数論の解釈 | |
Jōhōkei no sūgaku nyūmon | |
Memoirs of a proof theorist Gödel and other logicians | |
Ronri pazuru to pazuru no ronri | |
Shōmeiron nyūmon | |
Sugaku kisoron. | |
Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. | |
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? | |
不完全性定理 | |
不連続関数の計算可能性 : そのパラダイムを目指して | |
情報系の数学入門 | |
証明論入門 | |
論理パズルとパズルの論理 | |
連続体上の計算可能性問題の多角的研究 |