Back to Results
First PageMeta Content
Order theory / Proof theory / Mathematical logic / Metalogic / Equivalence of categories / Linear extension / Reverse mathematics / Theorem


Universit`a degli Studi di Udine Dipartimento di Matematica e Informatica Dottorato di Ricerca in Matematica e Fisica Ciclo XXVI Ph.D. Thesis
Add to Reading List

Document Date: 2015-03-23 21:49:40


Open Document

File Size: 521,41 KB

Share Result on Facebook