Truth value assignment in predicate calculus of first order

From MaRDI portal
Publication:2393733