Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes - A. S. Troelstra - Grāmatas - Centre for the Study of Language & Infor - 9780937073773 - 1992. gada 30. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

A. S. Troelstra
Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes 2nd edition

Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem A. S. Troelstra 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

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

215 pages, illustrations

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1992. gada 30. maijs
ISBN13 9780937073773
Izdevēji Centre for the Study of Language & Infor
Lapas 215
Izmēri 152 × 228 × 20 mm   ·   454 g   (Svars (aptuveni))

Vairāk no A. S. Troelstra

Rādīt visu

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

Skatīt visus A. S. Troelstra