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