adicionar à lista de desejos
Fragments Of First-Order Logic
Book
eBook
language: english
Publisher:
Oxford University Press, March of 2023 ‧
see product details
192,65€
10% OFF
CARD
UzB3clpuQXJWa3BSY0hoa1EyNW1TM2M1ZHpCcFJtNUtOVWxFY0cxTVNqUnNOelJyWmt0Qk1GSkhkWFUzVm5GbVJFWlllRFJIYldVM04yaERPVVZpUWt4VVNIWnZXbXhqU2twblIwWldVV1ZrUWs1SmVVd3JlbmxsVnk4MFdsaFpkRFZIU3pCNFIyZEJTVXc0TW1WQldteEtVVE12ZUZkTVpWUTBjbk5CTlhvMlQwMHdRbmdyTjJRMlIwWlZTRWRuV1ZCRmJ6SlNhR05NYUhCUlF6VkJRMnh1VUZsc1pYUkRSM3BMZEhoR2FVVTNiVEJ4VmtKUFdHUjFNRFphWWpGVVkyODNUVmwzTkROM1psbDFVRVJqTDJjdlNVRnphMVl3ZGs5eFZYaFpNMmRDU21KNE1VRjNjSFZCUVVsb1VVb3lZa3AwWWtac2NHeDBSRk5sZWxwNWNuTkdTV3AzUWxOaVRIRTNiek5zZFhOT1VsRklTaTg1YjFWTFVXWlhXbEF2UnpseWVtUjBZVmxIU0dGUWIyNTFPVFZDUlZvMlFuZGhRbTlvU0cxbk5ITnJZazV5U25jd1RWbFRiVXRxTDJsalFVNTBOMDF0WmxwclJVNWxlVFJLVVU1VFlVSmphRUZCZEU0dlJqVm9helpMV0c5VFExWjRNa2w1YzBWTVJuUjZWRlJqVG5OVFNUZFNhekZzZEZWMGJWVnFPSE5qVW5aamVYRnpXRE5YV1hkaFkyWnRSbGxHVEVOTFR6QjJNRFJTYUVGbFRHUjNVelZDUzI0clZ6SlZNbVJVWm1zclRFVm9hVEpqTkZKMldYcFRTRk4wVERCTWNXRk5lV1F6Vm5CdlVYcGxlV2h1VlZkbldGaE9hRWx4Y3pSS0x6RklVVVZSWW1GVWJVcG5VV0pLVlNzeE1sWTVTR05hYzBWQ2NrSXZOM3BsYmxCSWFHZGxjMWd6ZG5OWU9FVm1Vek5pVUZsb0wyOWlZWFJ2UVZweGR5OVhhV2hPU2twQ2RtVndRbGN4Y0doNk0xcG9NblkzWm5ZNFJtbGFWelpHWldSYVpsYzFNR1ZvUmxCNFNreG1UV1ZKVW1GM1ZqWXhVV05pUkhWdGQxWnNjek5RUkRSVk0wOTBaVFo0UVc1MlRsWllVVE5hTjBZMldqZEhLM0Z6Ym13dk5sQjZjbmhrUW05T1pGUm5jbEZKV1d0UmN6aFJVMmRYVFV4c1pFSnFkVFZTUjFBMFVUVkJPRWxvYzNOdmNXVnJkRlZoYWtzMmMzSlVUV3hsTW5oU2VIUnphV2gyTDBOVFEwaGpNMkk1VHpoNk9XaGtXbVphYVdJNFlXZHRNbEEwTVdSMGVHWXdaazVyVlhOdE9FVXdia3hTV2taMFRFWlVNbXBWV0RFM1lXUlZRVDA5OmFmaEJvampmOGFHcDBuV3ZRN0w5Z3c9PQ==
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
-
eBook10%Fragments Of First-Order LogicOUP Oxford108,64€ 10% CARD