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
UlhoVmEyZHlUMHR4YkdSU05XRkZXazE0ZVhOTlprWklhM2R0VVVabFVETkdlV0kxTjNjNGNHd3lORVo0Vm1seU5WcDNja2hJWWxrclZ6SklUMDFEUm1FNWFWSmxNRm92WjFOUE9GWTVjeXRCZEd3eVFqTmtUMnhJZHpOV1NtSnVabkJKVkdkV1FqRnhTVlZ2Wmtsc1NHVldLMVJGUzFaSVZHaEJNR3B2UjFwQlRHZERZMVJzVTJjMVNETnhXQzgzVERFd1JrYzBlRWtyVUV0YWVqTnBhVzlsZEVFMFFtOUphRWxFVnpaS01XUk5Ra2xQUmxaVFp6UndTRVpSV1hsSmIyRnhWa2RoTW1RMVZrbElSRWRxTjA4NVRXWkRRa2R4YjNGU1dubHVlVTFWWkhkcmFuRnNWMUZ1Tm5odFdsSlRhMGxyY1dOaGVuTlJkV2c0UWs5R1dsRnlTRzFzWjNJdk9Ya3hNSHAyY3psaWR6QXhkRWhJTVhaQmVIUjNXWHAyTXpKbmRXdDFNMkZOUVdSR2IwMXlNVUk1S3pWS1FtVnNUQzlXYW1sTVVXOUJiMEYzVWxsNFZVdG9TbHBIYlVOSVNWaFlSRUZZVG1SU1lrRmtka3hxU1VKa1YwcDRVazlsUkRaak9YUm9SRVpDT0RkVmRUQXpWM2hsZDFSaEsyZHNjRU0wYnpSeVJFd3pRbUYxV2tkTEx6Umhhek5CT0VjNVpXc3pWVU55WWtJNFMzTm1abEpFU1ZGQlMzWk1SalZPTmxSV2VGUjZORXMyYUZWTVVWQnBlVFE1U1VoRmJFUnJXRk5HZG5aTU5WRkNkMmRpUms4eFpISnZjWE5wVDA1eU1tMVBjSGxqUjAxelkyMTZaSFZsV0U4MmJXa3pNMmxLYUZrNVJXeDJkVTFQYnpKSE1WbGFXVVpKZHpGRFNsbFFaelV6VDNjclZHMDJTSGR0VG5KTkszSjZlRWRpU0c5MlJVNXZVR3RLYkhjM09ISXdiVlF3YTNKUmIxSlNWbFpWVldKTGJIQnFXbWR3TTBnckswSk1kbVJOTjBsbGFtMXRhekZCZUhSQ0wyUnNNblJYY1dSQ05teDFiMnBoVG5OUVpEa3lXVzVYWXpScFlXaGFVSEl6V0VreFJITkhhbHBGYWpCTVlVaE1RMjFYVTFaaFV5dFRMMUowVHl0cVlXZEZVbTR4UlZSVGIwbE5WbGwyZVdaS1FUaHZiVTlDVjNaNWVXbG1lWFZ3WWk5akwyNVZSVFJsVFM5WVVFTnhVekZQVTJoRlFYRlNjSFZZUkRSc1JtZ3liVXBtYzFwVGFXaEdjemxwVTJ0RFJGaDBUM2RVVEVnM1VXOW5OVWN3U0VOcWVHbEtjMVpaZVhCUk1ETnhSREY2YW1wdGNsTTRVbmhKUzB4SWFIRnhlak5PY2toT1MzaG1OM0YzYkVOd2FtTXdNWEp0WjI5eVpWSXJVWFpWWm5Bd013PT06OWh0bUZ4UEY4cmxub0Rac08vS3hIQT09
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