Mendeley出力
＜図書＞
Logic for mathematicians
| 責任表示 | A.G. Hamilton |
|---|---|
| データ種別 | 図書 |
| 版 | Rev. ed |
| 出版情報 | Cambridge [Eng.] ; New York : Cambridge University Press , 1988 |
| 本文言語 | 英語 |
| 大きさ | viii, 228 p. : ill. ; 23 cm |
| 概要 | Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of fi...st year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | HAMI/10/1a | 1993 |
|
068222195003957 |
|
書誌詳細
| 一般注記 | Bibliography: p. [219] Includes index |
|---|---|
| 著者標目 | *Hamilton, A. G., 1943- |
| 件 名 | LCSH:Logic, Symbolic and mathematical |
| 分 類 | NDC9:410.9 LCC:QA9 DC:511/.3 |
| 書誌ID | 1000034292 |
| ISBN | 0521368650 |
| NCID | BA04457486 |
| 巻冊次 | ISBN:0521368650 |
| 登録日 | 2009.09.10 |
| 更新日 | 2009.11.02 |