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