Record:   Prev Next
作者 Weaver, George, 1945-
書名 Henkin-Keisler models / by George Weaver
出版項 Boston : Kluwer Academic Publishers, 1997
國際標準書號 0792343662 (hardcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9.7 W43 1997    在架上    30340200349540
說明 xii, 253 p. ; 25 cm
系列 Mathematics and its applications ; v. 392
Mathematics and its applications (Kluwer Academic Publishers) ; v. 392
附註 Includes bibliographical references and index
主題 Model theory
First-order logic
Record:   Prev Next