Normal view MARC view ISBD view

Linear logic in computer science

By: Ehrhard, Thomas.
Material type: materialTypeLabelBookSeries: London Mathematical Society lecture note series.Publisher: Cambridge: Cambridge University Press, 2004Description: x, 381 p.; ill.: 23 cm.ISBN: 0521608570 .Subject(s): Logic, Symbolic and mathematical | Computer science | Computer science -- Mathematics | Linear logic | Proof theoryDDC classification: 511.36
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha