Follow the Author
Geuvers, Herman
Geuvers, Herman
E-books
Mathematics and Science
Mathematics
Mathematical foundations
Mathematical logic
Computing and Information Technology
Computer programming / software engineering
Programming and scripting languages: general
Computer science
Mathematical theory of computation

Author's Books

Type Theory and Formal Proof
E-book
Type Theory and Formal Proof
Geuvers, HermanGeuvers, Herman
Price
0
0.01 £
Type Theory and Formal Proof
E-book
Type Theory and Formal Proof
Geuvers, HermanGeuvers, Herman
Price
0
70.00 £