Logic, Language, Information, and Computation Plus de livres par George Metcalfe, Thomas Studer & Ruy de Queiroz

Proof Theory for Fuzzy Logics

2008