Inclusive first-order logic is a flexible variant that permits empty domains, unlike…
Sign in to your account
Remember me
