Jean-Yves Girard

Books By Jean-Yves Girard

Books by Jean-Yves Girard

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)

Jean-Yves Girard

Out of Stock

The Blind Spot: Lectures on Logic

Jean-Yves Girard

Out of Stock

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)

Jean-Yves Girard

$60.10

Immortal Element

Jean-Yves Girard

Out of Stock

Proof Theory and Logical Complexity : Volume I (Studies in Proof Theory)

Jean-Yves Girard

Out of Stock

Claudette Dion. la Soeur de...

Jean-Yves Girard

Out of Stock

Le Point Aveugle: Vol 1. Cours de Logique à Vers la Perfection (HR.VISION SCIEN) (French Edition)

Jean-Yves Girard

Out of Stock

Le point aveugle. Cours de logique, Volume 2: Vers l'imperfection (HR.VISION SCIEN) (French Edition)

Jean-Yves Girard

Out of Stock

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.

Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

Jean-Yves Girard

Books by Jean-Yves Girard

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us