adicionar à lista de desejos
Fragments Of First-Order Logic
Book
eBook
language: english
Publisher:
Oxford University Press, March of 2023 ‧
see product details
134,86€
30% OFF
TDFkb1V6ZzJPSFlyY2tZMlRsbHpRVUpEUlU5U1ZHNXlOa3hJYTFORlkycENiMDR2S3poTFdrRnBaM1ZsUjNSV1dsSkpNR0ZYVW1GcWVYbzRLMWN5Yld4MFJHTnhVWGs1YUZKMFZrcFpRVTRyY0ZGalNHcFliak5NVlRGbU5qZzRZVTVyV21semJrc3dXalJuVUZBdlpUVnBVbUZJTjBVMmJHdHJPVmhsYlhkTGJWcFJPVE5vUVdsdVZHRXJiV015VUVKT1pEWmthMFkzUTBoemExUnVaemhTVVRkQlZWQTNRMDFKWVV4VmRWZ3ZiSEppYzFaa2NYQXZia0U1WVhNeFRpdHlRbE5vWVhadVZHWXJRVFpWY2pkVVVsZEhhbVpGWTBob1RXTnBLMDFUVG5SS1VGbzFXRmxyYjNKVFYzaENTa3d2UVhSMFNEZENSRVpMYjJkb1ZIZEZaa0pSSzBOT2JsTXZZeXMyVFVORmVISXZZbWwzWkV4b1oxVlhPRnA0ZVV4Q1kxSllXRFF4VVdVd09VTnJaa0pMT1RabFQwYzVXVTlGU1cxalkyMURPRUpKTVZReWNrVmFiQ3RvYm1ZeGJtaG5kMk0xTUN0WlZYZzRhekYyVjFWbU9FRXJjSGhDU21OSGVETnpaMDR4TVROdlEwOUdVbVIyYUc1ckszVnRjRnB1YjFNNE1USjBWVTlsT0hOUU9WTjRPU3MzY0Vaa01HbFhjRlZMWTNrNFNGTkZNakJhU2xWSE4xUkNNQ3RJZUN0c1dDdEpNM2hGV0d0MGVrOXJNbTVhYm1RdlFXeG9VMjFsUlRkTmRIbFFSWGhITHl0VGJqbERiblVyTUhJNFkwbFhURXh0VGpjNWVtcGFNVWhQWmxBeGR6VlNSWGxDU0U5NFMxRk5ibFJhUkZab2JISktTa3BaZDI1VVVUaFhiVVJpZVZScFRHRnZjRzlLVFdKSVRHMTNXVzVOU25wMmNWQmFOMGd6WkZvMUwydGpkR1phYkdFNWNGWm5XVU01YTA0elRITnVXREZOWW1wQ1ZFMTRRWE5NTkhCblJsb3ZiekptYm1SRWJISmFWR2hwYzNSbFRVeEVkRU54TXl0T1RVcHZNWEZrTmxwVlNIZGhaV1JEZWc9PTp1MlRGa05rQTExNSs0c0V1bWNNenlBPT0=
free shipping
Sell your book
SYNOPSIS
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9780192867964 |
| Publisher: | Oxford University Press |
| Release Date: | March of 2023 |
| Language: | English |
| Dimensions: | 156 x 234 x 20 mm |
| Cover: | Hardcover |
| Pages: | 672 |
| Format: | Book |
| Collection: | Oxford Logic Guides |
| Categories: |
Books in English
>
Science
>
Mathematics
Books in English > Others |
| EAN: | 9780192867964 |
BOOKS FROM THE SAME COLLECTION
-
imagem não disponívelSet TheoryeBook10%Set TheoryOUP Oxford47,69€ 10% CARD
-
eBook10%Fragments Of First-Order LogicOUP Oxford119,24€ 10% CARD