数学基礎論入門 (基礎数学シリーズ)
前原 昭二
不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。
〔内容〕数学的理論の形式化／命題論理／述語論理／等号をもつ述語論理／型の理論／自然数論／自然数の関係と関数についての形式的表現の可能性／ゲーデルの不完全性定理／他。初版1977年6月1日刊。
〔内容〕数学的理論の形式化／命題論理／述語論理／等号をもつ述語論理／型の理論／自然数論／自然数の関係と関数についての形式的表現の可能性／ゲーデルの不完全性定理／他。初版1977年6月1日刊。
კატეგორია:
ტომი:
23
წელი:
2006
გამომცემლობა:
朝倉書店
ენა:
japanese
გვერდები:
215
ISBN 10:
4254951833
ISBN 13:
9784254951837
სერია:
基礎数学シリーズ
ფაილი:
PDF, 6.65 MB
IPFS:
,
japanese, 2006
Amazon 
Barnes & Noble 
Bookshop.org
გსურთ დაამატოთ წიგნის მაღაზია? დაგვიკავშირდით support@z-lib.do-ით
ფაილების კონვერტაცია
ძიების მეტი შედეგი
სხვა უპირატესობები 
საკვანძო ფრაზები
დაკავშირებული კოლექციები
