Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy new from $85.77
eBook from $71.20
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy new from $139.84
eBook from $38.70
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy new from $51.65
eBook from $16.50
|
An Introduction to...
P B Andrews
Buy new from $93.93
eBook from $26.70
|
History and Philosophy of...
Giovanni Sommaruga
Buy new from $155.35
eBook from $47.70
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy new from $199.94
eBook from $142.00
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy new from $146.06
eBook from $154.00
|
