Sistemes de gentzen multidimensionals i logiques finitament valorades. teoria i aplicacions.

Tesis doctoral de Gil Estallo Angel Javier Se define sistema de gentzen m-dimensional como una pareja formada por un lenguaje […]

, , , , ,