Categorical Logic and Type Theory
Szerző:
B. Jacobs
Elérhetőség:
Beszállítói készleten
Küldés 9-13 napon belül
52 818
Ft
This book is an attempt to give a systematic presentation of both logic and type theory from a categ...
