adicionar à lista de desejos
Fragments Of First-Order Logic
Book
eBook
language: english
Publisher:
Oxford University Press, March of 2023 ‧
see product details
182,50€
10% OFF
CARD
ZHpSWFJWaDBhRWx3YkVwNmFuTXpNSEZIYkRKNFIwNXhhVzA1U21oTlVFWjBObkJ0ZWtOS1lVUlpRVk0yVkZoMVdGSXdZbkJXT1ZSMU1HNXRka0ZJT1VGd1IxaERUR2xNVjNGNlRubHVUSFU0Vmt0dldXSXZWblJHYjA5VVNubHlhbll5TTBjckszTk9kR2hRYW5neFFpOVRURFZ0U0RoUk16UlhXVVZDTWtaVlNDOUtPVE5rU2padU5sWlNPRVpSUjBoNE5VSnpTVFY1U25OUGFVSk5XbU5aYkVoWk0za3JTM1JQWmxCSWEwdE1TV2szY3poVk5sSlBVSHAzTm1oWWVWbE1VbmRsWm5OM1dWWlVXbmhUY1V0aWNHWmFWM0ZCTVdzd2FYTlVjbFpsUmpoTVlUQmtaMGxEVFhCb1NpOXRTbkJUWm05VlZuTnhSRkJTZUZkRlNuZE1VR1V4TWxKTVpDOWtlVkEwSzFkblRtSTJNbU12V25ScVJVWm5SbFZSUzBFMFVERXJRVU5YU2xGa2IwUmhhSFZSWTBoWlZuUm5hak51ZWxacGJVd3lLMFpJWm1aamNHMHlabFZHU2xSVmVHeG1SMWRDV2s1clowNUZkRmhhU0djMlJEVjFNVzVuYlhadmMwdFhNVXRKVDNwQ1prZ3ljM1JWV1VjeVYyOXpSWFpzYVZSb2VIRTVWMWRhWkc1V2VtSkJNa1pZY0VVdk4wdDRibTFMV0hGRlZVWnNZVzF1V25kRVoxUkpRVmRDSzNaalIyRm9jVEJpTjBwaloydG5aM0pITlZkcVkzbFRUeTlvYm1kT2FHVk5hak5WZWpkNVlWRm5hMDh4TTJkcVVYbDZVVlkwT0dOcFRIQnpPVmhTYjJWQmQzRklVMDV5YXl0YVlWaE5hVnBMVEV4MVZteHNXR0pYY0UxNE1pc3hTaXRPVTJzck5UTXlkMlk0V0RKQmQzaFVVVmxwYlM4MFMwdE5NSFZ1V1VRMldUTnhhMkpJVFRZd2VsTm5jMkYyWlRGMlpYSkRURWxYU1RGU1NreEZNWEZZVVdGR01sVnhTSFZRVGpWWk5ucHBTR0pZWjFGVWRtMWlSMDlZYm01d2RFSlBkMHhFTHpKdVpFVjBhVkZ3YjBGME5GUk9aVUZQUW04ekwwNVNkSEpKVjBsbk5tWnZabU01Y0hWWFFVUllRM3BhUjJscGExSk1WVzg1YkZobWR6VlNkVmN3VlZsVWNtMW5kVWgyYmpscVFVcEVSM3B0WjNKTUszWkZhSEZoVDFCQlQzbHZkRXQwU1hoS1ozbEtTVmR4Y0ZWV1FsTk9SV1ZQT1hOUk1GazVOVU52WWtkeFZsUkJTbUZPZFhweU5XUnZXU3RrUzFvMFJIZzVRWHBuUXpkRE5VTlBaejA5OmI3ZjlHcTMxQVMvaGdxZDAvRmFMUWc9PQ==
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?
DETAILS
| 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 Oxford43,71€ 10% CARD
-
10%Controlling The CapitalOxford University Press118,97€ 10% CARDfree shipping