Cover Image

Advances in linear logic

Bibliographic Details
Other Authors: Girard, Jean-Yves, (Editor), Lafont, Yves, (Editor), Regnier, Laurent, (Editor)
Format: eBook
Language:English
ISBN:9780511629150 (ebook)
9780521559614 (paperback)
Year: Cambridge : Cambridge University Press, 1995.
Series:London Mathematical Society lecture note series ; 222.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Online Access:Plný text - nelze MVS
Informace o práci s e-knihami