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
Y1hWVmFWUlJUVWhLTm5KclZIazBPVEpPYTFsSWF6SjJPSGcwVWtwdlJUZEVlQzl2ZWpFNEwxTllOM1pEZFZGVFdUWTJUa1Y2ZDJ4T2FqUnRNemhsYkhwalRVRTNOSGhqTWpnd1UweHhNMWg2Y1hjelZrRlplVTEwVTFWMFdYcG1WM0UwYW1KQmJqSnpVa0V3YUVGS1ZEWlRSa3hHVUdSTGVHWTJNVE5QY1VOWk1XbHVhR3QxTlVNd1FrSm9ObVY0TkdodVRteDFaWGw2U0daeVpYTkVWMnh4Y1VOMk4wZFFVVlZWZW1KbFVUbEVhRGhGYUM5V2QxQk9UMFl2TUV4a05XbFRaMUZhYVZSVGFIUnhhVGhFVTFReFdEWXlaV3gzWjJSUVlqVTBRVmxWYjFCWmJraFRZVWhoZEZkeU1FVmlMMjFYZFhOWGVEUjFZVXN5VWxKMlVITTVUbXhEZFZKdWMwZFRTRkI1VEdSYWFTdG5UM2t6VFVnclpqUlNPR1pLVWxGM1ExSm5UM2xyV0U1MFJVTlJVVEJtUTBGVFZUSklSbVJYU21oa2NtSjFiRmszTmxCVFpsZFhORU5ETW01TlJuVnljV2hWVmtKTFkwazVkMGRpTWpOdlNGaFFXR2Q1TjI1TlJWb3ljVE5NVnpKTlUzRlFTbEJ5WlRWUVdIVXlSVzF5YXpOS1VVbENkRGxKY0hGQ1dVdERUVUZYWmtwVlpVRXhkRkowVWtsUmQxWk9XbVp2ZUZOM1NXbzBPR3RRVG5WMGMzQjBWVzg0TmtWRlZIa3hlRTE2U1RRek1ISjJVV1ZTVlN0blp5dExaVkZUU0dWa0wyUlllRUpxZFUxWlRVUldXbW95WlVwa2NXOW9RMWhwV0ZGRVZYVXJNM1pVTkhoSGRUTnBWa0pCVWxCRllWSkVSbmR5TjBzeFdFTTRSamxRZW5sNGN6SklVRkp6ZEROWFJXcEpjakkzV0ZwNE5pOTBibkU0T1V4T2RVdFlTa2RFYm1kNk5FNTNXVnBoTVhGUGFFUXpNMDV4T1U5cmIySkNUWFV4ZVZwQ09VeE1hRmszYkZKc1RFVXhLMnRNVWsxSFptNXFOMlV2ZUVOcFNEVmpVa2R5UlcxRGJHWktZMlEwU0cxa04wc3pTR2M1TkVKV1VTc3paRXg1Ukd4elFVUmhkQ3RqYUVwM1UweEVjRFUwYjB4cFExQjNWWGtyWVRkWEwzRjVhR3BUU1dORGVWVlpjMWczZDFscFpUVXhVVmhvZG1WMGJHNU5ORzgyV2pVNVRUbDZla05VUjJ4NVR6ZGFNa1ZKVld4NGNrdHRSVzg0UFE9PTo0OGpGbzNwT1QrUWdSamxGUUVSZExRPT0=
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
-
10%The Enigma Of TimeSpringer Nature Switzerland AG145,99€
162,21€portes grátis -
10%Philosophy Of Artificial IntelligenceSpringer Nature Switzerland AG145,99€
162,21€portes grátis
-
10%Types, Tableaus, And Godel’S GodSPRINGER130,46€ 10% CARTÃOportes grátis
-
Incompleteness In The Land Of SetsCOLLEGE PUBLICATIONS20,28€