Your search returned 2 results.

Results
	1.	Advances in linear logic/ edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier. by Girard, Jean-Yves Lafont, Yves Regnier, Laurent Linear Logic Workshop (1993: Mathematical Science Institute, Cornell University) Series: London Mathematical Society lecture note series ; 222 Publication details: Cambridge, UK; New York: Cambridge University Press, 1995 Online access: Publisher description Table of contents Availability: Items available for loan: Castorina (1)Call number: 511.3 A244 1995 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Proof theory and logical complexity.. T.1/ Jean-Yves Girard. by Girard, Jean-Yves Series: Studies in proof theory ; 1. Publication details: Napoli: Bibliopolis, c1987 Availability: Items available for loan: Castorina (1)Call number: 511.352 G517p 1987 IMPA. Found in Open Library: Place hold Add to cart (remove)

Refine your search