Pastāsti draugiem par šo preci:
Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics J. Lambek
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1988. gada 25. marts |
| ISBN13 | 9780521356534 |
| Izdevēji | Cambridge University Press |
| Lapas | 304 |
| Izmēri | 229 × 164 × 20 mm · 462 g |
| Valoda | Angļu |
| Sērijas redaktors | Bollobas, B. |
| Sērijas redaktors | Fulton, W. |
| Sērijas redaktors | Katok, A. |
| Sērijas redaktors | Kirwan, F. |
| Sērijas redaktors | Sarnak, P. |
| Sērijas redaktors | Simon, B. |
| Sērijas redaktors | Totaro, B. |