Linear Logic in Computer Science
by
 
Ehrhard, Thomas.

Title
: 
Linear Logic in Computer Science

Author
: 
Ehrhard, Thomas.

ISBN
: 
9780511550850
 
9780521608572

Publication Information
: 
Cambridge : Cambridge University Press, 2004

Physical Description
: 
1 online resource (392 p.) : digital, PDF file(s).

Series
: 
London Mathematical Society Lecture Note Series no. 316

Series Title
: 
London Mathematical Society Lecture Note Series no. 316

General Note
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Subject Term
: 
Proof theory.
 
Logic, Symbolic and mathematical.
 
Computer science -- Mathematics.

Added Author
: 
Ehrhard, Thomas.
 
Girard, Jean-Yves.
 
Ruet, Paul.
 
Scott, Philip.

Electronic Access
: 
Access by subscription


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book237736-1001ONLINEElektronik Kütüphane