Calculi for many-valued logics

From MaRDI portal
Publication:2045004