1
Assuntos:
“...Lógica simbólica e matemática...”
Verificação automática de lógicas finitas multivalentes
Tese