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