liàng huà luó ji
quantificational logic (i.e. first-order logic)
Учить в приложении → Писать по чертам