Many-valued Logics (1992)

by L Bolc, P Borowik