Notes on constructive mathematics
Book information
Similar books
Notes on Constructive Mathematics
1970 · PDF
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
1985 · PDF
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12–16, 1988 Proceedings
1990 · DJVU
Intuitionistic type theory
1985 · DJVU
Intuitionistic Type Theory
1985 · DJVU
MySQL® Notes for Professionals book
2018 · PDF
MrExcel 2022: Boosting Excel
2022 · PDF