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
192,65€
10% DESCONTO
CARTÃO
Y0RnMWNUVTBaMjFyUm5OcFQwVTFXblZ1VXpGeVVqVXhNRGw2TXpGYVVYWlFSVTVDVUhWMVpUQmhRV0pyVGpabFExTlpkbGt2WnpKaGFuaGhha2hJZDAxTVpYbDRkRU5XZGprM1EzVnlXRFl4VkZFdlNVdG9ObkJKTmtsamVWQllURmhNZVZCTVZIbG9NMWxMY1dwV1NHWnJNRU5CTUZwRmVFZEJZV1p2U2xFeVpYZFpXakJ2VVUxcFZsTXpLMU5sVlU5WE5UUkNSR0ZSTlU5VGVXbHpkVlUxYlRaNGQxVlNObTVqV2xaRkx6UnhRaTlwYzJWaFpsTlFOV2RQUWpsdVRTOVNibTh5VG1SelkwVlFiV2QwZG10RmFqVlBUWGRsYWtNeVUzSXJOR3RVZGpGV05tdG9jbGROTVRkWFFXUkRiV0kxVjBNd09EWTBXalppSzJkbk9WaFlabFpLU0hRMmFWcGxaWHBFU1hGUk9XNHhjbXhqWTAxdU1GZGhOVmxEYkZkNFozVnlVelF2V1hwMVNpOUxaa0V6WjNVck1XVk1Sa3B6VDBsbUszVlVhRTlrWW1Sa1IwVldNV1JPWTA1bk5sWmlVREpaYkdwd01VTXhkUzlTUkRGNVdGbzNiWGxVTUd3Mk1tVjVZVk01Y1dwWFpteG9NVFZxT0ZkaFEzcG5jbWxqVVZwV1pGcEtTMnRSZUhSRWVUQlZObXQzTHpOcFIzUk1ZbGhXVTJ4eFZHRkJUbEZVUVcxaFEyaENNMWhUYjFOWWJrYzJSMDl4UmpSdFNrbG1TakZqYVZOVmMxcExTa1pIY25scGMyWnJiM2xMVHpNMlZYRmlWVEJwTDJ4UVRIbExNU3MyVmpRMFdsUlBXa040WmtWNU1qVkVlVVJJUm5JMGFVNHhabGhEZVRodFdUSnhlSEJHUmtGMlNuZDZkMVppVkVSaFdVZHFOVmw2TmpSWFowWTNTalI2VERNeFVsZG9RVFZUWnpsMVJHcGFWV2g0Tms1VEwyWlJXaXRvVGxKTVJVbFRjMk5yZG1odFVXcDVUbEYwVjI0MllqUnVUR2tyZERac2RYaDVRMnB5ZVhadWEwUnRjMEZhVHpkWVdGZEJZaTlzY1dzMUwxZHVlV3RIS3pGTFoxWllUa3A1ZWxjM00wYzNXRzlEWlRWMGVXbHZkMHA0Y2t4RFIyNU1kVk40Y1RoVFNucDZSRnBxYkROYWIxVm1ZemQwT1hRdllVVjRkRGN5WWlzMWJVRTNjMnBMTW5WcFFTdHdWRmhKZDBVMFMyZFRSMUZhVUU1R09XWlJSek5aUm1kQmFUUTRWbFF6ZDNKYVowVkhLMGt5ZUZOalNEVnJUekF2TTJ4WmJrZHRTVTVCYkVOWmJVNVBSRkpNU2pRNVExaDBTelJCZEVjMmRuTmtSSE5hVjBkUGRVUkxZazF4Y1hwYVJGaEhVV0pCYVUxWVNFeFZaVVpVU1hGaVZBPT06SVBoS1J6Sk9meDFobWJ1eUlXazlBUT09
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 TheoryeBook10%Set TheoryOUP Oxford43,71€ 10% CARTÃO
-
eBook10%Fragments Of First-Order LogicOUP Oxford108,64€ 10% CARTÃO