Success! Your account was created and you’re signed in. Please visit My Account to verify and manage your account. An account was already registered with this email. Please check your inbox for an ...
We first extend Quine's method of eliminating the bound variables to first-order predicate logic with operation symbols ; then we give a device for eliminating also the free variables ; and finally we ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback