Record:   Prev Next
作者 Otto, Martin, 1961-
書名 Bounded variable logics and counting : a study in finite models / Martin Otto
出版項 Berlin ; New York : Springer, c1997
國際標準書號 3540620370 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 O88 1997    在架上    30340200352122
說明 ix, 183 p. ; 24 cm
系列 Lecture notes in logic ; 9
附註 Includes bibliographical references and index
主題 Model theory
Computational complexity
Record:   Prev Next