Logic, Language, Information, and Computation George Metcalfe, Thomas Studer & Ruy de Queiroz: другие книги

Proof Theory for Fuzzy Logics

2008