adicionar à lista de desejos
Proof Methods For Modal And Intuitionistic Logics eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, abril de 2013 ‧
ver detalhes do produto
237,84€
10% DESCONTO
CARTÃO
VUV0MFJUUmFaMFpMVlUxM1NsWXdiVkJ1YW01cGNUTkROVE5CUzNWV05sWktVRzFNZFhWUmQzSjJjMUkxV1ZBNGVsZGhaSFZIWTJ4ak5YWlNkVEprZFdsb1VuUXlORFZ6UlZnMU1qTktNblpMWlZaMlNFaEpSRTV1UXpaU05sRXdPVTlhYVhWQmJEWnlWRTVLUTAxMVJYTm1jRUZIUzNReVZGSnRiV0pIUW14TE9GbFhUVFpLU2twdlV6TmhSbmxKVDNsUlYzZHJjV2N6WWxwSVkwSmpkVUppUzNrck5uTnJOVVUwV0ZWNFoybzRhRkJtUVdaNGVWTkZhVzlPS3pWYWFsWlBaSHBXT1d4cWVsVTJNR3Q2YUdaM0wxQkhLMU1yYXpCT2JsWkJRbEpoTldZM2NIYzFkMUpYVjB0SFdIaHdUaXRpWldwTVREWldLME4zT1cweWRqY3hhU3RwVXpsM1YzTlphM1ZQUm1aUlVYWlJZWEJGTjFCWlptVkZkM0YwTUVKT1ZWcHRjVGxoU1ZOMlJWbHZOMGxUVDJwYVFrOHllRkJZV2pRd09FSlFTRGg1U1dSVlIzVkVSR1ZaT0ZCMllYQnlNakV6Ums5WGNreDVPRmxsVVhCbWMxVk1SbXBKVVRJMmJtUktSbGxtVFRoRVZVTmFhazVVWjBGVk1VZEZTbWxITlVSMVZFUjFjazFJVGxJdk1rcDJlbTlJVjJwb05YTnZaR2xqVG5ObmRqaDJZeTlRSzFaemFrSkRVRVZyZDJVMFprSnRkblZUWkdWa1dHSkdXVVZXTnpBNFRXVTFRV1I1YUVscWVHUXhORGR2Y1d4aGVXOWlMMjkzVm5FMWJtaG1Sa0U0VEU1QlNVMDRVREZJUW1OelpuZEpiR0pUVUU5bk5UTnBWVTl2Y0ZwVVptTmpRamt4ZUhGblN6ZDVZMnBKWkdSdVpHZGtTWE5HTmtRMlExZGlhMlpXZFU5SmJUYzJiazVwUTFCVGNtY3JlRk5EVkZGUlNIbDJlRzgyUlhGNVJFTnRPVEZJTTI5WE0xQk9WV0V4VDJVNWJYRlBlRVpRUldJMlNWZFNWMHhGTVU1VFYxSlJiblJDT1dnMWEzUnpjelYwT0c5SVlsQndkblJMWmtjek1DOU9ZMDlrVUdFNGNGUkZiek5DVWtseWNtZHdhWEpST0VOTFQweDFjekJRY3pKMmJpdHlRVmxhVGxOdmNHMHJTVU0wWlRWUVdITk5Xamd3TlRoQk5tUm9RM2hZS3pGa2RUTkJNM2d2WkROYVVHaGxUa2wwUXpWbkszcDFXa2x0UTNsblFucDZhRlZ2UFE9PTpnRk96SlFjWTA3VkFEaGh5dU9pamhRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401727945 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | abril de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Synthese Library |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9789401727945 |
LIVROS DA MESMA COLEÇÃO
-
Reals By Abstraction. An Inquiry About Epistemic Economy In Mathematics: Volume IiPré-lançamento10%Springer Nature Switzerland AG133,83€
148,70€portes grátis -
Reals By Abstraction. An Inquiry About Epistemic Economy In Mathematics: Volume I10%Springer Nature Switzerland AG133,83€
148,70€portes grátis
-
Types, Tableaus, And Godel’S God10%SPRINGER98,02€ 10% CARTÃOportes grátis
-
Incompleteness In The Land Of SetsCOLLEGE PUBLICATIONS20,28€