Mendeley出力
＜図書＞
Solvability, provability, definability : the collected works of Emil L. Post
| 責任表示 | Martin Davis, editor |
|---|---|
| シリーズ | Contemporary mathematicians |
| データ種別 | 図書 |
| 出版情報 | Boston : Birkhäuser , 1994 |
| 本文言語 | 英語 |
| 大きさ | xxviii, 554 p. : ill. ; 26 cm |
| 概要 | Emil Post was a pioneer of 20th century mathematical logic whose influence on computer science is particularly remarkable considering his lack of any contact with computing machines. Post's approach, ...evolutionary for the time, was to study logical systems from the outside, using ordinary mathematical methods. His investigations led him to set forth what has become the standard paradigm for studying logical systems. By showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science. No index. Annotation copyright by Book News, Inc., Portland, OR続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: us | 理系図1F 開架 | 410.96/P 84 | 1994 |
|
025212004000512 |
|
|||
|
|
: us | 理系図3F 数理独自 | POST/10/K1 |
|
|
023211999000118 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | *Post, Emil Leon, 1897-1954 Davis, Martin, 1928- |
| 件 名 | LCSH:Post, Emil Leon, 1897-1954 LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA3 DC20:510 |
| 書誌ID | 1001143694 |
| ISBN | 0817635793 |
| NCID | BA2153578X |
| 巻冊次 | : us ; ISBN:0817635793 : sz ; ISBN:3764335793 |
| 登録日 | 2009.09.17 |
| 更新日 | 2009.09.17 |