Proofs and types by Jean-Yves Girard | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Proofs and types by Jean-Yves Girard | Menrva Books | MenrvaBooks

Proofs and types

Proofs and types

Jean-Yves Girard

0

0

Author Description

null

Page Count:
192

Publication Date:
1989-01-01

ISBN-10:
0521371813

ISBN-13:
9780521371810

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!