Online Library TheLib.net » Author books / Книги автора Giovanni Sambin Jan M. Smith
book Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995
pdf
00
27.01.2024
0
0
Read online
book Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995
djvu
00
26.01.2024
3
0
Read online