Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Stefano Berardi
Stefano Berardi
All books by Stefano Berardi
(
Displaying 2 Books
)
A sequent calculus for limit computable mathematics (technical report)
Stefano Berardi
Types for Proofs and Programs
Stefano Berardi
Looking for another book by Stefano Berardi?
Search for the book
by title.