Introduction To Higher-Order Categorical Logic
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, março de 1988 ‧
ver detalhes do produto
83,82€
10% DESCONTO
CARTÃO
UkhSVGJuVXdSMDV5VTNGWFMwaFdhVTFpTWxwYVMwUk5lRFJIZVUxamFGbzVkbkoxYnpNeVoxWkZlalJaZUdKeldrODNha1Z2ZFVabU9FeGlVMVJGVXpReVMxbFVSVkpsWWt0SlJuVjZlRlF5VmtscFMzVmlNRTlETTJ4RVNWa3JiUzlFYjBkc1ozQk5WbHAzZEVWalp6RmhjVkl2VVRaMk16bG1kbE00V1ROSGJXeFFjMFJDV0hFMU5tUjJlWGcxV0RsTmVYcFNjUzl4ZFVVeFkyczFRV1JJUjJkeGFFMVpUU3RHSzFaT1ZHNDVkREUzVW5JMlJGRkZNREZWUlZvNWQwNHpXRm95V1ZNclUwTjFZMGRGWTFGcFNEbHhlRE5KWWtkWVJtVkpRVzl6YkdGbmN6VmpaazVXWldkSWFtMU9PWFY0Tkc5U1RUY3JTR1JRY2xkUmFFSTBUa3B1VkhRelQwTmpRVk01TmtzNVV6UkZUV2g2TWtacVEwazRhWEZRZWs5elQwRkVVbEYyZDFJM01rRXpaVXgwZFRSTFR6ZEhPV1pwWTA5dWQzbzVjalZDWTBKd2QzQnRiekJHY21aTGQxaFhVVGRVZUVkV01UWmxlVzU0VFVsRVdEUnZaVkpRYm5ST2NYWXlUSE5ZZDA1alpTOWlRMFpFTVd0UWFXMUxlbEkxZHpCTUwzbzNURWxWYkZaM05IUTJVSEI0TkRGVEsxUkphMjRyZVZwaVQwNWpTWGMwWWpnd1pXUkZjMnhETm14NVExRnJRbEZVZVdVd1VFWkxZVFZDWldvclpDODFXa3R0YkhKcU9VdzROMnBYUTJOR1RsWkJNMjFuYW1ONEwzbzFhRWhyUlRkU1VtazNSbHA1UTJreFdFbFFTMnhPZUVGRGJuVm9UMjV5UnprMGNIUlVaMnhQU0RWU2VrRnVRVUUwZDJoT1dEZFpXalY0VFdsVk1qbFRjRzVOT1hGYVZFeE1hWGxuTlVSeWRETk5abGw1ZWpsd05YRTRjVFY2YzFoRmFtSkdMMkpQVnpSWlZqRnFZell3ZW1kYVlsWm9NMmhaVVVkYWRsRkNjMUI0WkdoWlpteEVVM0JDZHpabFdWaHRVSFoxU21GMFRFSXllVmt3TXk4d1dtTlBiMjlsVUd4SVYwZ3lORU40VFhSdmNEUkdTa05HY0U5VVJYZGFWV3QwV0VGMVYwOWhhMWR2YlZkSU1XTm9TVzVTVUVWWmRYTXlNbU5tVkhObVpUSkNZMDRyVUV0d1EwOWplWEJSY2xsclZHeFhWbGRJUTFSRFRucHBiV0pUVlRKWFJYaDJiMGxtTW5acWNHTnhSVUpFTlU5TlRqSk5XVkpDTDFVeFpXRXZWMDlDZUROdmJTdEdNMlJMVEdjMlIwVkdRMHBvTUd4SFVWaDRaMHRSVm10cFF6TkRlamhoWm5NM2NYSndOMDVZTlRaWlJUbHBibUZNZEdKclNRPT06Y0pxenUzQXphemFLNU94WW5ianZSQT09
portes grátis
Venda o seu livro
SINOPSE
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780521356534 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | março de 1988 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 304 |
| Tipo de produto: | Livro |
| Coleção: | Cambridge Studies In Advanced Mathematics |
| Classificação Temática: |
Livros em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9780521356534 |
LIVROS DA MESMA COLEÇÃO
-
Spectra Of Discrete Structures10%CAMBRIDGE UNIVERSITY PRESS79,08€
87,87€portes grátis -
Extremal Graph And Hypergraph TheoryPré-lançamento10%CAMBRIDGE UNIVERSITY PRESS85,17€
94,63€portes grátis