INTUITIONISTIC TYPE THEORY: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980

Hall, JG, ed. INTUITIONISTIC TYPE THEORY: Notes by Giovanni Sambin of a series of lectures given in Padova, June 1980. By Per Martin-Löf (1980). (2021).

Viewing alternatives

Item Actions

Export

About

Recommendations