Blank Cover Image
QRコード(所蔵情報)

数理論理の手法 : 証明の発見と背理法の除去. 第2版

フォーマット:
図書
責任表示:
安部直人, 中西泰雄著
言語:
日本語
出版情報:
[出版地不明] : デザインエッグ, [201-]
形態:
179p ; 26cm
著者名:
書誌ID:
BB21089171
ISBN:
9784865432411 [4865432418]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 背理法

桂, 利行(1948-)

数学書房
7 図書 論理

中谷, 太郎(1903-)

共立出版
2 図書 數理と論理

末綱, 恕一(1898-1970)

弘文堂書房
8 論文 Gödel の第二不完全性定理の証明における背理法適用への批判

中村, 直行

金沢大学哲学・人間学研究会 = The Society for Study of Philosophy and Philosophical Anthropology, Kanazawa University
3 図書 数理の存在論的基礎

永井, 博(1921-)

創文社
9 図書 數理釋義

Clifford, William Kingdon, 1845-1879, 菊池, 大麓(1855-1917)

博聞社
4 図書 定理とその逆 : 数理論理学入門

Gradshteĭn, I. S. (Izrailʹ Solomonovich), 銀林, 浩(1927-)

東京図書
10 図書 數理哲學

児山, 敬一(1902-1972)

モナス
5 図書 数理哲学論集 : イデア・実在・弁証法

Lautman, Albert, 近藤, 和敬(1979-), 中村, 大介(1976-), 原田, 雅樹(1967-), 米虫, 正巳(1967-)

月曜社
11 図書 記号論理学

Kneebone, Geoffrey Thomas, 安藤, 洋美

明治図書出版
6 図書 工作者の論理と背理

谷川, 雁(1923-), 岩崎, 稔(1956-), 米谷, 匡史(1967-)

日本経済評論社
12 図書 數理哲學思想史

三宅, 剛一(1895-1982)

弘文堂書房