A New Decision Procedure for Aristotle's
โ
Review by: J. Dopp
๐
Article
๐
1956
๐
Association for Symbolic Logic
๐
English
โ 202 KB