An open formula in a formal language is an expression with unbound…
Sign in to your account
Remember me
