ゲーデルの不完全性定理

ゲーデルの不完全性定理 G?del's incompleteness theorems Smullyan, Raymond M, 1919-2017 creator 高橋, 昌一郎, 1959- creator text 丸善 1996-01-01 00:00:00 +0900 unknown jpn 220p 数理論理学ゲーデルの定理 410.9 9784621042045 2026-05-02 23:13:37 +0900 2026-08-18 01:09:30 +0900 https://eagle.gorilla-zone.org/manifestations/133 これでわかった!微分積分演習 Intelligible Calculus 小寺, 平治, 1940-2016 creator text 共立出版 2011-01-01 00:00:00 +0900 unknown jpn 218p 微分積分学 413.3 9784320019775 2026-05-02 23:13:36 +0900 2026-08-17 16:57:52 +0900 https://eagle.gorilla-zone.org/manifestations/130 位相幾何学講義 Lehrbuch der Topologie Seifert, Herbert, 1907-1996 creator Threlfall, William, 1888-1949 creator 三村, 護, 1938- creator text シュプリンガー・フェアラーク東京 2004-01-01 00:00:00 +0900 unknown jpn 401p 位相数学幾何学 415.7 9784431708773 2026-05-02 23:13:36 +0900 2026-08-18 16:14:27 +0900 https://eagle.gorilla-zone.org/manifestations/131 詳説演習微分積分学 </titleInfo> <name type="personal"> <namePart>塹江, 誠夫</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>培風館</publisher> <dateIssued>1983-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">unknown</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>439p</extent> </physicalDescription> <subject> <topic>微分積分学</topic> </subject> <classification authority="ndc9">413.3</classification> <classification authority="ndc10">413.3</classification> <abstract/> <note/> <identifier type="isbn">9784563001612</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:35 +0900</recordCreationDate> <recordChangeDate>2026-08-17 16:57:51 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/129</recordIdentifier> </recordInfo> <titleInfo> <title>微分積分学 </titleInfo> <name type="personal"> <namePart>難波, 誠, 1943-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>裳華房</publisher> <dateIssued>1996-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>324p</extent> </physicalDescription> <subject> <topic>微分積分学</topic> </subject> <classification authority="ndc9">413.3</classification> <abstract/> <note/> <identifier type="isbn">9784785314088</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:35 +0900</recordCreationDate> <recordChangeDate>2026-08-17 16:57:51 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/128</recordIdentifier> </recordInfo> <titleInfo> <title>多変数の微分積分 </titleInfo> <name type="personal"> <namePart>原岡, 喜重, 1957-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <name type="personal"> <namePart>斎藤, 秀司</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <name type="personal"> <namePart>戸瀬, 信之, 1959-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <name type="personal"> <namePart>三松, 佳彦</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>日本評論社</publisher> <dateIssued>2008-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>243p</extent> </physicalDescription> <subject> <topic>微分積分学</topic> </subject> <classification authority="ndc9">413.3</classification> <abstract/> <note/> <identifier type="isbn">9784535604148</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:34 +0900</recordCreationDate> <recordChangeDate>2026-08-17 16:57:50 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/126</recordIdentifier> </recordInfo> <titleInfo> <title>数学のしくみ </titleInfo> <name type="personal"> <namePart>川久保, 勝夫, 1942-1999</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>日本実業出版社</publisher> <dateIssued>1992-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>174p</extent> </physicalDescription> <subject> <topic>数学</topic> </subject> <classification authority="ndc8">410.4</classification> <abstract/> <note/> <identifier type="isbn">9784534018748</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:34 +0900</recordCreationDate> <recordChangeDate>2026-08-17 16:57:51 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/127</recordIdentifier> </recordInfo> <titleInfo> <title>群・環・体入門 </titleInfo> <name type="personal"> <namePart>新妻, 弘, 1946-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <name type="personal"> <namePart>木村, 哲三, 1938-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>共立出版</publisher> <dateIssued>1999-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>291p</extent> </physicalDescription> <subject> <topic>環論</topic> <topic>加群</topic> </subject> <classification authority="ndc9">411.6</classification> <abstract/> <note/> <identifier type="isbn">9784320015951</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:33 +0900</recordCreationDate> <recordChangeDate>2026-08-24 12:25:11 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/125</recordIdentifier> </recordInfo> <titleInfo> <title>演習群・環・体入門 </titleInfo> <name type="personal"> <namePart>新妻, 弘, 1946-</namePart> <role> <roleTerm type="text" authority="marcrelator">creator</roleTerm> </role> </name> <typeOfResource>text</typeOfResource> <originInfo> <publisher>共立出版</publisher> <dateIssued>2000-01-01 00:00:00 +0900</dateIssued> <frequency>unknown</frequency> </originInfo> <language> <languageTerm authority="iso639-2b" type="code">jpn</languageTerm> </language> <physicalDescription> <form authority="marcform">volume</form> <extent>243p</extent> </physicalDescription> <subject> <topic>環論</topic> <topic>加群</topic> </subject> <classification authority="ndc9">411.6</classification> <abstract/> <note/> <identifier type="isbn">9784320016514</identifier> <recordInfo> <recordCreationDate>2026-05-02 23:13:33 +0900</recordCreationDate> <recordChangeDate>2026-08-24 12:25:11 +0900</recordChangeDate> <recordIdentifier>https://eagle.gorilla-zone.org/manifestations/124</recordIdentifier> </recordInfo> <titleInfo> <title>凸多面体の数学 Lectures on polytopes. (2刷) 八森, 正泰 creator 岡本, 吉央 creator Ziegler, G?nter M., 1963- creator text シュプリンガー・フェアラーク東京 2003-01-01 00:00:00 +0900 unknown jpn 429p 幾何学立体幾何学 414.13 9784431708933 2026-05-02 23:13:32 +0900 2026-08-17 16:57:49 +0900 https://eagle.gorilla-zone.org/manifestations/122