Open menu
Teresa Kouri Kissel
Classical First-Order Logic