Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Jean-Yves Girard
Jean-Yves Girard
All books by Jean-Yves Girard
(
Displaying 5 Books
)
Advances in linear logic
Jean-Yves Girard
Face à faces
Jean-Yves Girard
Immortal Element
Jean-Yves Girard
Machine de Turing
Jean-Yves Girard
Proof Theory Logical Complexity (Studies in Proof Theory)
Jean-Yves Girard
Looking for another book by Jean-Yves Girard?
Search for the book
by title.
