adicionar à lista de desejos
Fragments Of First-Order Logic
Livro
eBook
idioma: inglês
Editor:
Oxford University Press, março de 2023 ‧
ver detalhes do produto
182,50€
10% DESCONTO
CARTÃO
Y0VKbFJVbE1jbWRzYUZCTWNIbDNkMDVuZGxORWN6a3ZjbnBEV0hodVVuaGFSa2cwY1VFMGJITkdWVmt4VjBsSWMyaExOQ3RzWW5SWFl6UlVOVmNyYWs1TU9UVklkMHN6V0VsS1RESTBaVGcwTlZkUlVEUnRWMjFRT1hkUVVrUXpNekV4Wkcxak1XaFlLMGhPZFZkUE0wWXlMMjkwWm1GaGVUQTRORFl6WlM5dFN6RmpTUzlYT0hKWVRrdG1RekkyTDJjck1IVm9aMWRuTkdwcmMyeDBNMGQ1Y1dZdlYweDNRMHRqTTFsS1ZUZFVRMEpVTURObE1VVkhNMDUzSzBsclp6TlRiSEpIV1dKUWEzSmhiMEZPYVZOUFEyZGlUSGhUV205UlpFTmlUMUJPYWl0cFdrSldaM1pqVERST2EyUlpXR1ZDTTBFNGNUWmFUbEZOWTFKWE9EbEhWRUUwTldwTVZXMTBWekV2UjFsVFF5dG9hbFZSZWxVNFQzbDFWVzltWW1oS1EzcEVMemxCZGxWTFlWWnpjakkyVW1sbVNFTm5SekZ5U1hWa1VHcE5XRGx1WTJsc1UxaFBUa1pKSzNwdE5tRjBMMmx4UjJ4dWIxVlJSR1ZaYlRjcmMydHJabUlyY1hKT2FYQmxXRmxUT0dOMVNtZE1Vall3UkZkR2VIQmlNV2c0YzAxbU5GVlZVVTFGZVM5a1NtbDZNalpCVDFWcVJuRkpSM2RrSzNwcVJtdHhZazQ1ZWsxWFZuTkdjakZ1ZEdzeFpreDZUbTR2YmxGSVpIWXhVemRKTVZNeEwyRkhZMDVzYUdkWFJHbG9PRVppVkVnclJuRnNlRkF5VkRscmNucFplV3A2TnpWSlUyOHhOR2hvTnpoRVRreExha04yTmtGelZYUnFOVVZGWlZaSlNsSkJiemhQUzJoWGFGbzFXRlZoWVN0T1JYWlZUMUZxUkdGTmRGZERUbVZIVVdrd1pVOTRRVFpzZEZFd1pIb3JNMDF2WVRsek5FdHBPVmhTTkVocmRIQk5VRzFZYzBaaVdDdFVVRGxDYzNSd1kxVndWRVEyVWtOVlVYSkJOM1JOWTFoWmVTOUxWVUpDTVRaa2FHa3djWEJ1V0VGWE4xRkphM2h2V2s5VmRFaFFNalJ1UzFWbmNUSXZabHBSVjBGV2NVaHVOVlJZZWsxclYweE9OMVk1TkVOb2NuaDFabXBMZVVGc1Z6ZG1VR1JJV25kcFNrRnNSVlZNTTAxeldXSnNiWFJpVlZCSmFWY3dNRkpZY0ZvemMzVlZjMDUxZDBkTFFWTTVURzlMVDBzd04yTndVV05oZGs5MWVucGxSMFl5WWpWM2NtZHpUMm95VkZaSk9FeEpXV1JQUWpsbldrMUNZMFJGWTFGMGRHZFNTM2hVVFhSc1FuUkpSMVZIYlhSTFJITkxkekE0Y1RkR05HMTVXbGxaWTFwWFQyMW1OVWxTZEVKd0t3PT06ZDZvSTczN3pReEV5ejlFd25jaDhoQT09
portes grátis
Venda o seu livro
SINOPSE
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?
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780192867964 |
| Editor: | Oxford University Press |
| Data de Lançamento: | março de 2023 |
| Idioma: | Inglês |
| Dimensões: | 156 x 234 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 672 |
| Tipo de produto: | Livro |
| Coleção: | Oxford Logic Guides |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9780192867964 |
LIVROS DA MESMA COLEÇÃO
-
imagem não disponívelSet TheorySet TheoryeBook25%OUP Oxford34,97€ 20% + 5% CARTÃO
-
Controlling The Capital10%Oxford University Press118,97€ 10% CARTÃOportes grátis