Mendeley出力
Computational Logic and Set Theory : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
| データ種別 | 電子ブック |
|---|---|
| 著者標目 | *Schwartz, Jacob T. Cantone, Domenico Omodeo, Eugenio G. SpringerLink (Online service) |
| 出版者 | London : Springer-Verlag London Limited |
| 出版年 | 2011 |
書誌詳細を非表示
| 巻次 | ISBN:9780857298089 |
|---|---|
| 大きさ | v.: digital |
| 本文言語 | 英語 |
| 件 名 | LCSH:Computer science FREE:Computer Science FREE:Computer Science, general FREE:Computation by Abstract Devices FREE:Mathematical Logic and Formal Languages |
| 書誌ID | OB00001562 |
| ISBN | 9780857298089 |
| NCID | LB40005604 |