Nonclassical logics and information processing : proceedings - Pearce D ed.; International Workshop on Nonclassical Logics and Information Processing( 1990 : Berlin,Germany ); International Workshop on Nonclassical Logics and Information Processing Berlin, Germany 1990
Keywords: Mathematical logic; Symbolic logic