Počet záznamů: 1
A ground many-valued type theory and its extensions
- 1.BĚHOUNEK, Libor. A ground many-valued type theory and its extensions. In: FLAMINIO, T., GODO, L., GOTTWALD, S., KLEMENT, E.P., eds. Graded Logical Approaches and Their Applications. Linz: Johannes Kepler Universität, 2014, s. 15-18.
Počet záznamů: 1