first-order logic

<2023-06-07 Wed 11:44:19> mahmood
math