ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学一般
出版社名:朝倉書店
出版年月:2006年3月
ISBN:978-4-254-11723-3
201P 26cm
数学基礎論入門/復刊基礎数学シリーズ 23
前原昭二/著
組合員価格 税込
3,553
円
(通常価格 税込 3,740円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報:数学的理論の形式化;命題論理;述語論理;等号をもつ述語論理;型の理論;自然数論;自然数の関係および関数についての形式的な表現の可能性;ゲーデルの不完全性定理;補助定理の証明;ゲーデルの第2不完全性定理;帰納的関数;帰納的関数の性質
もくじ情報:数学的理論の形式化;命題論理;述語論理;等号をもつ述語論理;型の理論;自然数論;自然数の関係および関数についての形式的な表現の可能性;ゲーデルの不完全性定理;補助定理の証明;ゲーデルの第2不完全性定理;帰納的関数;帰納的関数の性質
著者プロフィール
前原 昭二(マエハラ ショウジ)
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
前原 昭二(マエハラ ショウジ)
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
同じ著者名で検索した本
数学基礎論入門/朝倉復刊セレクション 基礎数学シリーズ
前原昭二/著
数学基礎論/ちくま学芸文庫 マ41-1 Math & Science
前原昭二/著 竹内外史/著
数理論理学序説 復刊
前原昭二/著
記号論理入門 新装版/日評数学選書
前原昭二/著
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)