Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from $79.10
eBook from $75.20
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $25.31
eBook from $16.50
|
An Introduction to...
P B Andrews
Buy from $32.50
eBook from $26.70
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from $146.84
eBook from $38.70
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $126.23
eBook from $47.70
|
Categorical Logic and Type...
Bart Jacobs,
B Jacobs
Buy from $406.50
eBook from $129.00
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy from $204.94
eBook from $142.00
|
Magical Haskell: A Friendly...
Anton Antich
Buy from $54.98
eBook from $19.50
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy from $136.06
eBook from $154.00
|
