Symbolic logic and mechanical theorem proving
By: by C. Chang and R.C. Lee.
Contributors: Lee, R. C.
Publisher: Academic
Published: 1973
Language: eng