Linear logic in computer science :: ISBN 0521608570 :: Cambridge University Press 2004 :: OBNB, the Open British National Bibliography

Publication Data

Title Linear logic in computer science
Contributors Thomas Ehrhard, London Mathematical Society
Publisher Cambridge University Press
Publication date 2004
Publication location Cambridge
Language English

Topics

Proof theory
Computer science :: Mathematics

Catalogue Data

OBNB ID GBA452425
ISBN 10 0521608570
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.36

ISBD

P1053 x, 381 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Linear logic in computer science. ISBN 0521608570. Published by Cambridge University Press in 2004. Publication and catalogue information, links to buy online and reader comments.