Collegium Logicum
(Collegium Logicum, Annals of the Kurt-Gödel-Society ; 2)
データ種別 | 電子ブック |
---|---|
出版者 | Vienna : Springer Vienna |
出版年 | 1996 |
本文言語 | 英語 |
大きさ | VII, 140 p. 3 illus : online resource |
書誌詳細を非表示
内容注記 | Resolution Games and Non-liftable Resolution Orderings A Tableau Calculus for Partial Functions MUltlog: an Expert System for Multiple-valued Logics A Fundamental Problem of Mathematical Logic On the Lengths of Proofs of Consistency The Craig Interpolation Theorem for Schematic Systems The Role of Monotonicity in Descriptive Complexity Theory Numbers Defined by Turing Machines |
---|---|
著者標目 | *Kurt-Gödel-Gesellschaft author SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Computers LCSH:Algorithms LCSH:Computer logic LCSH:Mathematical logic LCSH:Physics FREE:Mathematics FREE:Mathematical Logic and Foundations FREE:Theoretical, Mathematical and Computational Physics FREE:Logics and Meanings of Programs FREE:Mathematical Logic and Formal Languages FREE:Computation by Abstract Devices FREE:Algorithm Analysis and Problem Complexity |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9783709194614 |
ISBN | 9783709194614 |
URL | http://dx.doi.org/10.1007/978-3-7091-9461-4 |
目次/あらすじ