Cut Elimination in Categories - Trends in Logic - K. Dosen - Grāmatas - Springer - 9780792357209 - 1999. gada 31. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

K. Dosen
Cut Elimination in Categories - Trends in Logic 1999 edition

Cena
€ 152,99

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

Paredzamā piegāde . gada 21. - 29. sept.
Saņemiet paziņojumus par jauniem K. Dosen izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most fundamental notions of category theory (as opposed to their embodiments in logic) have not been explained systematically in terms of proof theory.

229 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1999. gada 31. maijs
ISBN13 9780792357209
Izdevēji Springer
Lapas 229
Izmēri 156 × 234 × 15 mm   ·   526 g
Valoda Angļu  

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

Skatīt visus K. Dosen