Mathematical logic and computability
著者
書誌事項
Mathematical logic and computability
(International series in pure and applied mathematics)(McGraw-Hill international editions, . Mathematics & statistics series)
McGraw-Hill, 1996
International eds.
大学図書館所蔵 全5件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Bibliography: p. 479
Includes index
内容説明・目次
内容説明
Intended for a one-semester advanced undergraduate course in mathematical logic, this text requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring examples, is also available.
目次
- Propositional logic
- pure predicate logic
- full predicate logic
- computable functions
- the incompleteness theorems.
「Nielsen BookData」 より