first order logic and propositional logic 968711

Loading…