Book serie: / Книги серии: Studies in logic and the foundations of mathematics 141 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in logic and the foundations of mathematics 141

book Categorical logic and type theory

Categorical logic and type theory

djvu

Author: Jacobs Bart
Language: English
Year: 1999

00

30.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

pdf

Author: Bart Jacobs
Language: English
Year: 1998

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

djvu

Author: Bart Jacobs
Language: English
Year: 1998

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

pdf

Author: Bart Jacobs
Language: English
Year: 1999

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

djvu

Author: Bart Jacobs
Language: English
Year: 1999

00

27.01.2024

0

0

book Categorical Logic and Type Theory

Categorical Logic and Type Theory

pdf

Author: B. Jacobs
Language: English
Year: 1999

00

26.01.2024

0

0