Linear Logic in Computer Science by Thomas Ehrhard, Jean-Yves... - 9780521608572

Linear Logic in Computer Science Ehrhard Girard Ruet Scott Paperback

Girard - Advances in Linear Logic - paperback or softback - G555z

Beel - Computer Science New Generations - paperback or softback - G555z

Halvorson - Logic in Philosophy of Science - paperback or softback - G555z

Popkorn - First Steps in Modal Logic - paperback or softback - G555z

Walters - Categories and Computer Science - paperback or softback - G555z

Ch Meyer - Epistemic Logic for AI and Computer Science - paperback or - G555z