B. Jacobs szerző bemutatása:

B. Jacobs szerző eddig megjelent könyvei:

Kategorikus logika és típuselmélet: Volume 141 - Categorical Logic and Type Theory: Volume...

Ez a könyv arra tesz kísérletet, hogy mind a...