Logic, Language, Information, and Computation Más libros de George Metcalfe, Thomas Studer & Ruy de Queiroz

Proof Theory for Fuzzy Logics

2008