Record:   Prev Next
作者 Dreben, Burton
書名 The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb
出版項 Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979
國際標準書號 020102540X
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.35 D73    在架上    30340200151649
 資訊所圖書室圖書區  F1.3 D771    在架上    30330000019930
說明 xii, 271 p. : ill. ; 25 cm
附註 Bibliography: p. 257-260
Includes indexes
主題 Predicate calculus
Unsolvability (Mathematical logic)
Computability theory iis
Solvable classes iisf
Alt Author Goldfarb, Warren D., joint author
Record:   Prev Next