Linear Logic in Computer Science Girard, Jean-Yves Ehrhard, Thomas Scott, Philip Ruet, Paul 9780521608572 London Mathematical Society Lecture Note Series Heftet 15.11.2004 Engelsk I salg
