An extension of first-order logic that incorporates predicates with multiple arguments. This…
Sign in to your account
Remember me
