Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from £76.84
eBook from £61.18
|
An Introduction to...
P B Andrews
Buy from £26.44
eBook from £21.73
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £20.59
eBook from £13.43
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from £119.46
eBook from £31.49
|
History and Philosophy of...
Giovanni Sommaruga
Buy from £137.23
eBook from £38.81
|
