詳細情報

刊年

2011

形態

xi, 341 p. : ill. ; 23 cm

シリーズ名

London Mathematical Society lecture note series ; 379

注記

Bibliography: p. 339-341

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Esparza, Javier

Michaux, Christian [ Michaus, Christian ] [ Michaux, Chr. (Christian) ]

Steinhorn, Charles [ Steinhorn, C ]

分類

LCC:QA9.7

DC22:511.3/4

件名

Finite model theory

Computer science -- Mathematics

MATHEMATICS / Logic bisacsh

ISBN

9780521718202 (: pbk)

NCID

BB0516501X

番号

LCCN : 2010048062