CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 10 of 10 Results
1.
Proofs and Types
Proofs and Types by Jean-Yves; Lafont, Yves; Ta... ISBN: 9780521371810

OUT OF STOCK

See Availability on Amazon
2.
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1)
Proof Theory and Logical Complexity (Studies in Proof Theory, Vol 1) by Jean-Yves Girard ISBN: 9788870881233 List Price: $110.00

OUT OF STOCK

See Availability on Amazon
3.
Linear Logic In Computer Science
Linear Logic In Computer Science by Ruet, Paul, Ehrhard, Thomas... ISBN: 9780521608572 List Price: $115.00
$89.49 (Save 22%)
4.
Advances in Linear Logic
Advances in Linear Logic by Girard, Jean-Yves, Lafont, ... ISBN: 9780521559614 List Price: $90.00
$70.63 (Save 21%)
5.
Blind Spot : Lectures on Logic
Blind Spot : Lectures on Logic by Girard, Jean-Yves ISBN: 9783037190883 List Price: $98.00

OUT OF STOCK

See Availability on Amazon
6.
Immortal Element
Immortal Element by Jean-Yves Girard ISBN: 9781643505985 List Price: $20.95
$16.29 (Save 22%)
7.
Le point aveugle : Cours de logique Tome 2, Vers l'imperfection
Le point aveugle : Cours de logique Tome 2, Vers l'imperfection by Jean-Yves Girard ISBN: 9782705666347

OUT OF STOCK

See Availability on Amazon
8.
Le point aveugle : Cours de logique Tome 1, Vers la perfection
Le point aveugle : Cours de logique Tome 1, Vers la perfection by Jean-Yves Girard ISBN: 9782705666330

OUT OF STOCK

See Availability on Amazon
9.
Typed Lambda Calculi and Applications
Typed Lambda Calculi and Applications by Girard, Jean-Yves ISBN: 9783662185056 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Advances in Linear Logic
Advances in Linear Logic by Girard, Jean-yves, Lafont, ... ISBN: 9780511629150

OUT OF STOCK

See Availability on Amazon