Prezentacja autora B. Jacobs:

Dotychczas wydane książki B. Jacobs:

Logika kategoryczna i teoria typów: Tom 141 - Categorical Logic and Type Theory: Volume...
Elsevier Science & Technology
Książka ta jest próbą systematycznego...
Logika kategoryczna i teoria typów: Tom 141 - Categorical Logic and Type Theory: Volume 141
<<
1
>>