| NCID | BB0516501X |
| タイトル | Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn |
| 出版者 | Cambridge : Cambridge University Press , 2011 |
| 形態 | xi, 341 p. ; 23 cm |
| 注記 | Bibliography: p. 339-341 |
| シリーズ名 | London Mathematical Society lecture note series ; 379
|
| 分類 | LCC:QA9.7
DC22:511.3/4 |
| 件名 | LCSH:Finitemodeltheory
LCSH:Computerscience -- Mathematics
FREE:MATHEMATICS/Logicbisacsh
|
| 著者情報 | Steinhorn, Charles
Michaux, Christian <>
Steinhorn, Charles
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 9780521718202(: pbk)
|
| 番号 | LCCN : 2010048062 |