Linear Logic in Computer Science by Paul Ruet (English) Paperback Book

Logic in Computer Science by Hantao Zhang Paperback Book

Advances in Linear Logic by Jean-Yves Girard (English) Paperback Book

Linear Logic in Computer Science Ehrhard Girard Ruet Scott Paperback

Advances in Linear Logic by Jean-Yves Girard (English) Paperback Book

Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book

Essential Logic for Computer Science by Rex Page (English) Hardcover Book