Simplified axioms for many-valued quantification theory

From MaRDI portal
Publication:3256307