Log in

Normal view MARC view ISBD view

Linear logic in computer science

By: Ehrhard, Thomas.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: 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.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books	DAU	511.36 EHR (Browse shelf)	Available		018066

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha