Finite and algorithmic model theory

Author(s)

• Esparza, Javier
• Michaux, Christian
• Steinhorn, Charles

Bibliographic Information

Finite and algorithmic model theory

edited by Javier Esparza, Christian Michaux, Charles Steinhorn

（London Mathematical Society lecture note series, 379）

Cambridge University Press, 2011

• : pbk

Note

Bibliography: p. 339-341

• NCID: BB0516501X
• ISBN:
  • 9780521718202
• LCCN: 2010048062
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge ; Tokyo
• Pages/Volumes: xi, 341 p.
• Size: 23 cm
• Classification:
  • LCC : QA9.7
  • DC22 : 511.3/4
• Subject Headings:
  • LCSH : Finite model theory
  • LCSH : Computer science -- Mathematics
  • FREE : MATHEMATICS / Logic bisacsh
• Parent Bibliography ID:
  • BA0005393X