Conte aos seus amigos sobre este item:
Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics J. Lambek
Preço
R$ 592,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de J. Lambek
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics
J. Lambek
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.
304 pages, bibliography, index
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de março de 1988 |
| ISBN13 | 9780521356534 |
| Editoras | Cambridge University Press |
| Páginas | 304 |
| Dimensões | 229 × 164 × 20 mm · 462 g |
| Idioma | Inglês |
| Editor de séries | Bollobas, B. |
| Editor de séries | Fulton, W. |
| Editor de séries | Katok, A. |
| Editor de séries | Kirwan, F. |
| Editor de séries | Sarnak, P. |
| Editor de séries | Simon, B. |
| Editor de séries | Totaro, B. |
