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
>>