Elements of Finite Model Theory

Name: Elements of Finite Model Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 2305345
Author: Leonid Libkin

Leonid Libkin

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Knihu koupíte v 1 e-shopu

Bookshop.cz

2 350 Kč

Není skladem

Do obchodu

Krátký popis

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;

Zobrazit celý popis

Výběr knih vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG