Tag: B. Jacobs

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141) by B. Jacobs (PDF)

Science December 21, 2022

Ebook Info Published: 2001 Number of pages: 778 pages Format: PDF File Size: 27.03 MB Authors: B....

Read more

Advertisement

spot_img