Predstavenie autora B. Jacobs:

Doterajšie vydané knihy od B. Jacobs:

Kategorická logika a teória typov: Vydanie: 141. zväzok - Categorical Logic and Type Theory: Volume...
Elsevier Science & Technology
Táto kniha je pokusom o systematickú prezentáciu...
Kategorická logika a teória typov: Vydanie: 141. zväzok - Categorical Logic and Type Theory: Volume 141
<<
1
>>

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)