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
U25sWE1URXdZVFY1VURWUWFFaHJORVppTjFCVU9HcDRiRXRHYkdneWJTOWhWMDhyVkhreWFWZEJjVkEyV2xWck5uRnVOSGhCTWtKR1N6Rm1XRUZ5U0hrNE16Wmpha2xSWlhGNU9HaEdlVFU1V1hOV2R6VmhSR05OTW01aFRGZE9WMUJvTm5sRWFUWnJiVlJwVlhSS2FVaGtTRGxVTm5kU1prbG5lazlGUlVad1Z6SXZTbFpvZEhGRVdIQklOSE5EVlhCaVVFTkhOamxQSzFBck5HRnBRa3B6YzA0clVHRktZako1TjI5WWJrRmxRazFzZEhGb2NXUlhRbE5vVVdSdk9XdDVla1VyY1dSaVVsSlBWVzU1ZFRjNFMyYzJabWhhWXpNd01pdHRNMFZaWlZRNGNtUklRU3RqYVRSc2VYbFBlR2RtUWtoSFVrSXpaSGQ2WlRsaVQycGtaRGhrUkhWSFQzWkVWak5OVEhsS1NVRkdiVGRITm5kV1RtaHBWM0Z5VldrNGFGSnlhbFJ3UWtkTFNHOVFOVVZRTm05bGNERlRXSEY1VVdwSVdVWXdiV00yVjJkdE5ra3JXRXhXVVN0VlkySTFTRTFZYkU5cWJqWTRTMGN5Vm10SUwzSlFURzlWYzFCRlFYaHFkMlpPZFU5bU5HbzJaRXRLT0cxdk5HUXpiV2ROTWs0NVQxRTNSRk5tWm5Zck0ySkNNbnBrZGpoMWVGcGFWV2hwZFRnemFuUlRka1ZDUkRaRlRtcEZhbkl2TTBzdlozaDJjVnB0ZEdjcllVa3lVMEZuV0ZOeWQyVTNkSFJsUm5SSk1rOWxhams0UTBkSGJHRXhOR1ZLWldoVFFWZFliRnBwUkdobWFqaDRNbTkwUVZKNVpYZzVVWFp0T1ZOVWIxTkdjR1pxVlhwVWJsaENZelZHSzBKdFJTOXpPRmMxWWt4cU5YRkdibWhZU2pSTFFYTkpZVTl0TTBWNUwyeFVjV3RzYUhSa1JuVTBMMncwTmk5aFoyeFBUVVZQUmpsall6VXlRM05rSzFFNE1FeEdhRlpoU1dsVFYwdDRWbUppVEd0aFNFOUJUV1ZLYlRBeFJWSmhTVU5zWmtGVFNXZEtWRXB3UVVWUFFYaExaVmhqTTJKd1NFMVpTRTV0UkV0a09IRnRLMFpCYWpkREwwUnlVVTByVGxsSE5IUmtabUZWVkd4bVFuVnJaR28zYjB4SmFsVnVkM2RCWmtOVFkxVk1XVWhzUldORFlXWXhZa1ZHTVdSaE5GVk5WWHBtYlZFMmRFODNUbWRpUWt0SFJUUnNNWE5aVDBoWE0zcDBZM1l3UFE9PTpOMnRnUVRKaEVvV3QvZVBvd2ZqYk53PT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Temporal Type TheoryeBook10%Springer International Publishing145,09€ 10% CARTÃO
-
Communism And Nationalism In Postwar Cyprus, 1945-195510%Springer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
Recent Development Of Alternating Current Field Measurement Combine With New Technology10%SPRINGER VERLAG, SINGAPORE54,74€
60,82€portes grátis -
R-Calculus, Iv: Propositional Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€portes grátis