VIAF

Virtual International Authority File

Search

Yasugi, Mariko. National Library of France Sudoc [ABES], France National Library of the Netherlands German National Library NUKAT Center of Warsaw University Library

八杉, 満利子, 1937- ISNI National Diet Library, Japan

八杉, 満利子 NII (Japan)

VIAF ID: 19910446 (Personal)

Permalink: http://viaf.org/viaf/19910446

ISNI: 0000  0001  1748  7466 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (10)

Open Section Close SectionWorks

Title Sources
Fukanzensei teiri National Diet Library, Japan
Gödel National Library of France
Interpretations of set theory and ordinal number theory = 集合論及び順序数論の解釈 NII (Japan)
Jōhōkei no sūgaku nyūmon National Diet Library, Japan
Memoirs of a proof theorist Gödel and other logicians National Library of France Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library
Ronri pazuru to pazuru no ronri National Diet Library, Japan
Shōmeiron nyūmon National Diet Library, Japan
Sūgaku kisoron National Diet Library, Japan
Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. National Diet Library, Japan
お話・数学基礎論 : 数学では必ず正しい結論に到達できるか? NII (Japan) National Diet Library, Japan
不完全性定理 National Diet Library, Japan
不連続関数の計算可能性 : そのパラダイムを目指して NII (Japan)
情報系の数学入門 National Diet Library, Japan
証明論入門 National Diet Library, Japan
論理パズルとパズルの論理 NII (Japan) National Diet Library, Japan
連続体上の計算可能性問題の多角的研究 NII (Japan)

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

Open Section Close Section About

Open Section Close Section History of VIAF ID:19910446 (9)