Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics - J. Lambek - Grāmatas - Cambridge University Press - 9780521356534 - 1988. gada 25. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Introduction to Higher-Order Categorical Logic - Cambridge Studies in Advanced Mathematics

Cena
€ 106,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. sept. - . gada 6. okt.
Saņemiet paziņojumus par jauniem J. Lambek izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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.

Vairāk no tā paša izdevēja

Skatīt visus J. Lambek