Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from £77.27
eBook from £61.53
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £20.71
eBook from £13.50
|
An Introduction to...
P B Andrews
Buy from £26.59
eBook from £21.85
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from £120.13
eBook from £31.67
|
History and Philosophy of...
Giovanni Sommaruga
Buy from £138.01
eBook from £39.03
|
Categorical Logic and Type...
Bart Jacobs,
B Jacobs
Buy from £318.41
eBook from £105.54
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy from £110.57
eBook from £125.99
|
