商品詳細 | Knowledge Worker

Mathematical Logic and Computability. (International Ser. in Pure and Applied Mathematics)(Schaum's Outline Ser. in Mathematics

Keisler, H.J., Robbin, J. 　著

在庫状況お取り寄せ	お届け予定日 40日間	数量冊
価格 \6,380（税込）

この商品について問合せる

発行年月	1996年01月
出版社／提供元	McGraw-Hill Singapore
出版国	シンガポール
言語	英語
媒体	冊子
装丁	paper
ページ数／巻数	vii, 484 p. with a 3.5-inch disk for IBM.
ジャンル	洋書／理工学／数学／数学基礎論
ISBN	9780071144261
商品コード	0209617185
本の性格	テキスト
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0209617185

内容

Intended for a one-semester advanced undergraduate course inmathematical logic, this text requires some prior knowledge ofmathematical proof. The authors emphasize proof theory of computationrather than set theory. A disk, featuring examples, is also available.

Propositional logic; pure predicate logic; full predicate logic;computable functions; the incompleteness theorems.

カート

カートに商品は入っていません。

前のページに戻る