Logic, Language, Information, and Computation More Books by George Metcalfe, Thomas Studer & Ruy de Queiroz

Proof Theory for Fuzzy Logics

2008