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