10% OFF

Elements Of Finite Model Theory

by Leonid Libkin
language: english
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2010 ‧
118,97€
10% OFF CARD
free shipping
Sell ​​your book
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;

Elements Of Finite Model Theory

by Leonid Libkin

Property Description
ISBN: 9783642059483
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Release Date: December of 2010
Language: English
Cover: Softcover
Pages: 318
Format: Book
Collection: Texts In Theoretical Computer Science. An Eatcs Series
Categories: Books in English > Science > Mathematics
EAN: 9783642059483

BOOKS FROM THE SAME COLLECTION