A theory with a decision procedure, allowing algorithmic determination of truth or…
Sign in to your account
Remember me
