I have several books, or online sources for this material and to be honest the number one thing which stands out for Margaris is pages 89–90 which list theorems of predicate logic. So helpful to see those stated explicitly.
User Profile
I'll be honest, my reading is often in much shorter chunks than books, but I'll try to get a few of my math or other books on here. For microblogging I'm at sfba.social/@soaproot
This link opens in a pop-up window