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
U1N0M1RFZG5LMWRGY0M5clRubEJRMnRCVFM5aVEwcDZRMDUxUXpOSWRHNXRibWxhY0VoVmJXUnhVV05IV1ZFclpXNXdZMlJqTUZCbE56SkNhblJVUTA1aVQybHRkMDh3ZDJsS2NIWTJVRFZDYlZVclEyTlZhazl1VFdaaVMyOVVRMlIxU0VZeFNURlFlRFZLT1U5emFIUm5SWEo1Wm1wak9FZGxjRGxJWmtoSU1XdFFiMUJ4ZGxKVVkzaExXRzR5YlVack5DdEhUSGN5VUd0cGVXaHFXSHBEUWt4blpXRlZOV0YyVGxSTFdFY3dWV2szWkhkS05EVnJZbFpOUjBSc04xQktkbFIzVTJKVU1XeG1VMFZGV1c5a1VVRlJOM1o1UldGblRYaDBTMVJaV2xaVUwyMTBkMmhUZWpsek1XZGxXR1VyVkcxRllVeHhUVXgyV2xwVlQxWk9XV0k1TlVsRVVsbHdZbFpsYkdsSlpqVkVNVFExVjFOT00wZzJaMmsxUmtadWVWbHdhM1phTjFWNWRteEdZbXhQZUROTVVWWmtUbEJCWWpBemRHMUJNMDVHTUU0eVpVaGtPRlZQT0doUmFXSlBNMFZLVDNKcFlsa3JTVVZ6ZDBOdk4yWTNibHBPTW1ObVFWVXdOVVpMVkZCTVZXbDBTRVpJT0ZwU2VITmhkMW9yZVdjcmEwcFlTa2hhVjNNMVJETjBUelJzUjJkaVVrWm1keXQyVjJOTVdEbFlkbHBuZWsxUlJHOWFTMnhVZEZKaFUxTXZSRVp2TmtSUVVHa3ZUelJzV0hwblJHcEhRalJNV0RoWVlqVmhXWGRMU2tZeGFDczBRVUU1WW13NU9YQnFZVzV3Vm5CaE4zWnBjMlJ3TUZCVk5VWTVaRkJ0WlZCT2IydFlhM2RXV0RodU1qTkRSVmMxTmtkeU9YRmpabXRsWlZFMkx6QkZXRGROUkcxWlJIQnlSMk5XTW14YWFUaEdjM2RZTHpaME5sbENNV1pGUkVSV05FZHJjR05HUkRreVpVMTJSVzVJZFRoMmVqbHdWRTltV2pWSVJGZEdObEZKUmxSWmJqTmhVa3RyVm1OUkwyTndTbG95ZVM4d0wxVkNkVWhUTUU5UWJUbENZVTFvWTJ4RE9GaGxOeXRrVVhaU2JWZFhWWE5HV0V0dFRWVlRSbVZ1WTFaaVIyd3JNV3RHSzBVdlZsUktUM0I1YzNGRlNGZHZTMFJKTmpORE5pdE9jMkZTTlhCSVFYUldXVE5KYzJZMkwxcE1iRTEzUzNOTFNtVXdZMlZ0YjI5RlRHNUtSWEZFYkRsT1ExZFVUbWR2UmpOR2VHa3JWMkp4WVdGUWQzWnNaRUpWV21kdWJrTldVbk5QUlRaclpqbEpSSFJaVlc5aWF6SklhaXRxYTJ0UEx6RkRjV1UwVEU5emNEaHlLMm80VEZCaVRUYzJTbUU1WlVsdE5XdENhR00zYTFkck9BPT06ZUg3WGNEZlVzYWd1am9tOW5rMUc0dz09
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 TheoryeBook10%OUP Oxford43,71€ 10% CARTÃO
-
Controlling The Capital10%Oxford University Press118,97€ 10% CARTÃOportes grátis