adicionar à lista de desejos
Mathematical Logic eBook
Foundations For Information Science
idioma: inglês
Editor:
Birkhauser Basel, fevereiro de 2010 ‧
ver detalhes do produto
71,54€
10% DESCONTO
CARTÃO
T0hZM2EyOWxRbE5SYVhrd1kxSmFWbk5SZDNNMmJpdFdXamxzZEhJeGRFZE1PV3BOZFhsa00zSnpZbVpqVTFWbFdIaEZZMGxrWmpkU1NTdFFLMUpKZWpOMlVqQkpTRGhvUVhKVk4wcExlWGd2UldkcVptSktLMjFLYWxZMFJUVnZjR1Z1SzFkclFYSnNOMkZFY1RRNGIwUjRLM0l2TW5GSWFURnlTbWxYWVc5MWFXMWFjMFpTVmk5amFWZDBLM0phT1dwSlpsUlNLMU5qUzFReVdISTVZMW96TVhZdk5FUlBNbGRyVTJzNVUxSkljR1paT1VsV00xSjZSR05OSzJsdGMwbHlaVFl2ZUhOc2NGTktVazR5V21vMGVGSjNRbVowTjJ4VFNraHhVMHBSWnpCU1RuQklhSE0wTVdwb04zSXhZV1pLUVRKWmN6RXZhR0U1UlRsM01sazVUMlpRZEU5SFYydHZURGxtZW5sVFdXVkpUVmhtV1VaS2RFOVFhR1pOZUUwdlpFdExkMDlKT1hSMlJFZHRUeTk2T0VkeFEzUmpiMGsyZFRkSWEzZHhTV2RXY1VSeVdXMTZhMXB5VTBseFoxSkhjV1ZwVldoS2ExWnRWR1o1TUZNd2FISlNZWGQ2SzA0d2NEUjVNRzVCYURWbWFUbGpabEk0VTJobVExUnFNaXREZFZGM1FsRXJkV3d2VjFCNlZXTkVUa0Z5V2tKa1FuVkhUVEU0V1V0RU9GaHVNelZZT1NzeVdtRm5NbkJ0UTJablJWbE1hbk5PUVVFM1V5OW1aSEZ0YjBGVVRtdFZjRmhsVkVGTlJHNWxhSE56ZUZoUVNrcENja2Q0Tm5Od1R6QkVOR3gwT1VOVU16ZFpkWEJvVVZsUFJrMDVkUzl5Y2xReU4xaEdRalpGV1c1cFZDczVjRzFIY2pWNVMyTmpiVU5HVTJkRkwyZGpVR3BrUkcxSE5EVlFaVTVGWnpOSmJVaG9SSGxTY21aM1JISTRTak5vYmpRcmNVSm1kSE5NTkhkRWMzVldSazl3TnpsYWNrWmFSbE5aZGxOS2MzRXZjRVYwTjNsYVFVdHRaMEZZWjNWNVRtSkNORnBNVFhJMFR6TnRORGd4U0d4aU5Ib3ZiSFJ5VVdaR2FuSkxOV3RSTmpoUWNVYzNiR0pEUzFKeGJWRkxURE01YmxWeVMwZzBXazA0VldjMmVVTnZha1o2ZFRrd01sTk5WRmREZFRnMFpFUnNLM0ZUVjBabmRWaGxaMDVuYjFGVGJVOUJjVGhsVlZsM2NrbzBNVlowWTBOcU5FMDJNV2hJTUZSdWVXZHlhRU5qUFE9PTp2dDBtc3NtUk90QTQ4Y2lObTZNUE5RPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Presents basic principles and formal calculus of mathematical logic systematically. This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9783764399771 |
| Editor: | Birkhauser Basel |
| Data de Lançamento: | fevereiro de 2010 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Progress In Computer Science And Applied Logic |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9783764399771 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%Temporal Type TheorySpringer International Publishing145,09€ 10% CARTÃO
-
10%Communism And Nationalism In Postwar Cyprus, 1945-1955Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%Recent Development Of Alternating Current Field Measurement Combine With New TechnologySPRINGER VERLAG, SINGAPORE54,74€
60,82€portes grátis -
10%R-Calculus, Iv: Propositional LogicSPRINGER VERLAG, SINGAPORE182,49€
202,77€portes grátis