Quotient Completion for the Foundation of Constructive...

Logica Universalis 2013 / 09 Vol. 7; Iss. 3

Quotient Completion for the Foundation of Constructive Mathematics

Maietti, Maria Emilia, Rosolini, Giuseppe
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
7
Language:
english
Journal:
Logica Universalis
DOI:
10.1007/s11787-013-0080-2
Date:
September, 2013
File:
PDF, 431 KB
english, 2013
Conversion to is in progress
Conversion to is failed