0 Mėgstami
0Krepšelis
Šiuo metu neparduodama

Knygos aprašymas

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.

Informacija

Autorius: A. S. Troelstra
Leidėjas: Center for the Study of Language and Inf
Išleidimo metai: 1992
Knygos puslapių skaičius: 210
ISBN-13: 9780937073780
Formatas: 6.25 x 0.5 x 9.5 inches. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Lectures on Linear Logic“

Būtina įvertinti prekę

Goodreads reviews for „Lectures on Linear Logic“