Linear Logic in Computer Science Ehrhard Girard Ruet Scott Paperback

Logic in Computer Science Vol.4 Semantic Modelling HC Abramsky Gabbay Maibaum

Ehrhard - Linear Logic in Computer Science - paperback or softback - G555z

Advances in Linear Logic by Jean-Yves Girard, Yves Lafont, La... - 9780521559614

Logic in Question Jean-Yves Béziau

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

Computer Architecture and Logic Design by Bartee, Thomas C.

An Object-Oriented Approach to Programming Logic and Design by Joyce Farrell