Iskanje
Slike
Zemljevidi
Play
YouTube
Novice
Gmail
Drive
Več
»
Prijava
Knjige
Moja knjižnica
Pomoč
Napredno iskanje knjig
Priskrbite si knjigo v tiskani izdaji
Na voljo ni nobena e-knjiga
Elsevier.com
Poiščite jo v knjižnici
Vsi prodajalci
»
Categorical Logic and Type Theory, Količina 141
Po avtorjih B. Jacobs
O knjigi
Strani so prikazane z dovoljenjem založnika
Gulf Professional Publishing
.
Avtorske pravice
.
Stran iv