lambda1@tg says to YSITD

This is simple first order propositional logic

at Mon, Mar 9, 2020 5:15 PM