adicionar à lista de desejos
Elements Of Finite Model Theory
language: english
Publisher:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, December of 2010 ‧
see product details
118,97€
10% OFF
CARD
UlZaT01VdFlWbWQyTjJkblZsVnJXVzV0TjJOS09XMXVObW92TVc5ek1VcE1URVJ1WWpsYVFWSlhWMGxtVldSMVRWZFNhSFI2VTJSMGJYZEVURVJLZFU1M1JYTm1NM2RwYnpsd1RrMTFTVmx3VUZKTlRFVkxXV041WldKMGVFRjBjbFJhYUhGUVIyeEdOakF6T1ZKMFJYZEpjR3BGZWt0c1YwaElTWGh3WmxkSlJtMVljbkJxVkZGMVdGUmtNbTVCY25GUU4wNTFWVzVzZEZwTllrdHFTRTk2ZVRoaVFtZDRUR05yWlhCNlVWTkhaMEl2WVhOdVNHdzRTWE55T1RSRlVWZHpNMm8zWmt4dmFIcHpPVFpIV2pab0x5OUhhRWRYY2t4dFJXTkZZbWt5Wm1wV09WaFZiVzl1TjA1RmMxRlFNMVYwUWtGb1ZreFZka3c0TTJreU1uWm5PQzloTTBSc2RFWklWRWhWYjFCRE9VMVFkRVo1V0dsc1kxSkRNMjlWUkVGRUwxRk5VMjVsVkVKR1VETTBVblZpTVVoamRqUlZOUzlMUkNzclRuZ3hhVXMxVVROR1duVk5jRzVoWjIxNmNXeDNTbGg0UmxscVlrODVNa0l4Ums5SWVFZHlPRk5KTkhCNE1rNUhSekF5YkhCdFoyRjFPVEJvVjJSemVXNXBVbWRWYmxvelFrcHJTRGRXZW5OcVVWWmljamgyV1V4V1FqbENVbUZrVGpRMVN6TldhV1kwT1M5NGVGbFVUVFIzUkhVM2R6bFRRbmhPY2tWdmNVOURSRWRaY1ZSR2EwdEpSRlJSZFhKUmRVcEhha2RhY1ZGSmNsSTJWbUpoWkRBdlJpdE5hVk5LTTBaUE9YQTVOM0ppUmxVME5UQldUa3h0UjFOQ2NHNXVUamcyWjNoblJuRkpXWEZIVmtFcmJETkpSWEJFYkd0UGNqSk1jRTl4YzNSdldUZDZNU3MxTURWUldqTndiMWxGY1M4NGJEaGllRkZNWTBOclRXOWlNbkptUzFoQlYyTXhhMVZ2WWxJeloyTnpWeXRVZDBaaVFqaEhVa05CVGtwaFpHNHpiV2haYW1sa0sxRlZSMFJ6VEV4cVpHZE1hbUZQYUc1V09Fb3JVMlZ4TVdkelJtb3lVVXB6T0ZNdmQyRmlRVEJGTlROSGVuVm9jbE5yYmtaUmRVZG5lRFZMT1daTVRYWTVhbGRpWjNSSE1tUkhVSEJGTkdkbVVGbHVaVXhMYUVsSk5IcFdaakZ0TjFNeFpUaDNUR1ZUV25aT2NYUTVZWFJZWlVWcE9GVTVaRUZFTTJGeUsxRnBhWEJ1Wkc4NGVWQnZVR05MV21WcVFtaFljMHByWW5VeVYzTXphSGN6VDFaeFEzVmlObnAyY0RBM2N5OXRVVDA5OjBFV2lFeDI0VUFNWDZQYkVBNlBpQlE9PQ==
free shipping
Sell your book
SYNOPSIS
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;
DETAILS
| 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
-
eBook10%Formal Methods For Software EngineeringSpringer International Publishing72,86€ 10% CARD
-
10%Decision ProceduresSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG74,34€ 10% CARDfree shipping
-
10%Relational And Xml Data ExchangeSpringer International Publishing AG31,08€ 10% CARDfree shipping
-
Elements Of Finite Model TheorySPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG102,99€