Gå direkte til innholdet
Elements of Finite Model Theory
Spar

Elements of Finite Model Theory

Finite model theory is an area of mathematical logic that grew out of computer science applications. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable;
Forfatter
Leonid Libkin
Opplag
2004 ed.
ISBN
9783540212027
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
2.7.2004
Antall sider
318