Authors /
Girard, Jean-Yves

Books by Girard, Jean-Yves

See the best price to sell, buy, or rent books by Girard, Jean-Yves. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) image

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)

Author(s): TAYLOR, PAUL
ISBN-13: 9780521371810
Edition: First Edition
Publisher: Cambridge University Press
Released: Apr 28, 1989
Format: Hardcover, 192 pages
SEE PRICES
La Machine de Turing image

La Machine de Turing

Author(s): Girard, Jean-Yves
ISBN-13: 9782020369282
Edition: POINTS
Publisher: POINTS
Released: Mar 18, 1999
Format: Pocket Book, 192 pages
SEE PRICES
Le point aveugle. Cours de logique, Volume 2: Vers l'imperfection (HR.VISION SCIEN) (French Edition) image

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

Author(s): Girard, Jean-Yves
ISBN-13: 9782705666347
Edition: HERMANN
Publisher: Hermann Glassin
Released: Mar 17, 2007
Format: Paperback, 305 pages
SEE PRICES
Face à faces : Michel Courtemanche image

Face à faces : Michel Courtemanche

Author(s): Girard, Jean-Yves
ISBN-13: 9782981714336
Publisher: KO Éditions
Released: Oct 16, 2018
Format: Paperback, 187 pages
SEE PRICES
Proof Theory Logical Complexity (Studies in Proof Theory) image

Proof Theory Logical Complexity (Studies in Proof Theory)

Author(s): Girard, Jean-Yves
ISBN-13: 9789997457806
Publisher: Humanities Pr
Released: Aug 01, 1987
Format: Hardcover
SEE PRICES