LearnAwesome Logo
Sign In
Home Topics Formats Experts
Sign In
Topics Random
Formats Random
Experts Random
Users Random
Random Item
Our Courses Web Extension Contribute Join Slack
About
Book in type-theory

Type Theory and Formal Proof: An Introduction (2014)

(goodreads.com)

★ -
0 ratings
Added by learnawesome almost 2 years ago
View
Share on Twitter Share on Facebook