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