Intensional mathematics

edited by Stewart Shapiro
Bok · Språk ikke angitt · 1985

Utgitt	Amsterdam : North-Holland , 1985
Omfang	v, 230 s.
Emner	Constructive mathematics - Addresses, essays, lectures. Intuitionistic mathematics - Addresses, essays, lectures. Modality (Logic) - Addresses, essays, lectures. Intuisjonistisk matematikk Mengdelære
ISBN	0444876324