|
|||||
|
|
Quotient Completion for the Foundation of Constructive Mathematics |
|
| Authors: | Maria Emilia Maietti Giuseppe Rosolini |
| Institution: | 1. Dipartimento di Matematica Pura ed Applicata, Università di Padova, via Trieste 63, 35121, Padua, Italy 2. DIMA, Università di Genova, via Dodecaneso 35, 16146, Genoa, Italy |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |