Prezentarea autorului B. Jacobs:

Cărțile publicate de B. Jacobs până acum:

Logica categorială și teoria tipurilor: Volume 141 - Categorical Logic and Type Theory: Volume...
Elsevier Science & Technology
Această carte este o încercare de a oferi o...
Logica categorială și teoria tipurilor: Volume 141 - Categorical Logic and Type Theory: Volume 141
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)