Solving a problem in relevance logic with an automated theorem prover
No reviews yet
First published: 1983
1 language