P
Initializing...
PM ✱1 (about the system): completeness of ✱1 for two-valued truth tables · Prove2Me