Buscas alternativas:
logica nominal » logica dominada (Expandir a busca), logica dominante (Expandir a busca)
logica nominal » logica dominada (Expandir a busca), logica dominante (Expandir a busca)
1
2
3
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese