1 - Handbook of paraconsistency
Béziau, Jean-Yves (Ed.)   /   Gabbay, Dov M. (1945-....) (Ed.)   /   Carnielli, Walter Alexandre (1952-....) (Ed.)

Cote : [05 BEZ 07]

2 - Methods and applications of mathematical logic : proceedings of the latin american symposium on mathematical logic held July 29 - August 2, 1985
Carnielli, Walter Alexandre (1952-....) (Ed.)   /   Alcantara, Luiz Paulo De (1944-....) (Ed.)

Cote : [05 CAR 85]