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