LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 GLS courier 11.49

Author Zhaohui Luo

7 products
Binding

3
2
2
Price

Availability

2
3
2
Date of issue

?
Computation and Reasoning Zhaohui Luo / Hardback
common.buy 92.14
Modern Perspectives in Type-Theoretical Semantics Stergios Chatzikyriakidis / Paperback
common.buy 113.29
Formal Semantics in Modern Type Theories Stergios Chatzikyriakidis / Adobe ePub DRM
common.buy 185.41
Formal Semantics in Modern Type Theories Stergios Chatzikyriakidis / Hardback
common.buy 162.75
Modern Perspectives in Type-Theoretical Semantics Stergios Chatzikyriakidis / Adobe ePub DRM
common.buy 132.81
Types for Proofs and Programs Paul Callaghan / Paperback
common.buy 51.68
Modern Perspectives in Type-Theoretical Semantics Stergios Chatzikyriakidis / Hardback
common.buy 113.29

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?