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
134,86€
30% DESCONTO
IMEDIATO
VFRWWlpHbFJRblpGTmtWeWFrRnFhVmRwT0RWS1JEVnJlbGRVZEdSNmIycHVNRU5uVXpkdGQxVmpWM05oVVM5VVNWQXZVbFF4ZW5Zekt5dHBaek5HYm1wWVlscHFSbmN2Tm5weE5tOHhkRkkwYUVoa1ZrWnRkVkJHYUhoQk0xcGlSelZaWWs5R1NVNUlkbmhKYVVkWmVFczRObmhoWWpWd1FqSlViRFJxWWsxMVZrdE9OVVkxU3poRGVWWkRkRzFPVUZveWNWY3ZXRGcwVEdrd016aFBTa1pEYzFOVGJqWlVjRU56TWtkTlZVNXhaa3N5U2sxa2J6TnBkRkpTU1RsUFVrdFBOMGw1VUhSRFNHZDBlVmRNYjBkdVlUUnRTV2hSUmxaelZpOTRhM3BRZVhKWk5GSXlUSEJwYVM5RFMwRm5hWFI1TDJweFRVZ3lPREpOZEU5c2JpOVBSVEF3Y1RaM1kwNTRMMkpxVjFOb1RVdFFiekZLWVhWa1NFcG1RVGx2VUZWV1VtRXZTWFUyZGpWSWVYWkpMelpYY0hwbFR5OUpXa3BNVFZSSlRqQXhlVzFZYmtGcFRteGlMMVpMWm1SNE1UTjVVbFJCUlU4eVZtVlZPRWRrVDNkNlRXMXdaMEZJTTNCUWFFUklVMWhWVDBwMGJIaFhaVEZyVEhFdmJFMW5NRWRPUzJzclJEUmphazFVVUhOclRpOVRUamxGYWpKWFJWUTNiRlpqVm5GNWJuTkVZbFJpTWpGVEsxUnZVeloxWkRsaGJVbzNWWGN6WmtKellWcExVRzl4TkRKVU1EUXpNMHRFUzJwVlltdFJMemx4VTFoeFkwNU1ZMk00VVRoVlFtUTBaRFJoY3pkVUswOW9kbk5XUjFWM00wbFZlRzVHTmpGWFltNTNNMUoyTWs1TVRrOXBLMjVwTnpkSlEyeE9lSEZKTmpOV05GcEhZVXhrWlRSVlNTdHhMMWR5TVVwaVRXb3dUbkJhTmsxT1lqVnZjMUYxSzBOWlNGSk1UV0paUVVaSk5qaEJlakZZY2xVeU5YRnBXRW92ZEZsNWQwNXBPV2hRY1VkT1QxZGxVWFZrVWs1UGFUUXJWMDkwZURRelJucE9Va1EyYVRCT2VFNDRlVkpWVXpKeldFNWFSVGxvWmpsRWNYRnZXRFZJTmxwMGRGRTlQUT09OkRObzFRaHA1SWs0TE5tYklRckRCcnc9PQ==
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 Oxford47,69€ 10% CARTÃO
-
eBook10%Fragments Of First-Order LogicOUP Oxford119,24€ 10% CARTÃO