Distributive normal forms in the calculus of predicates
Distributive normal forms in the calculus of predicates
1953
Jaakko Hintikka
Details
First published
1953
OL Work ID
OL1384090W
Subjects
Logic
Find this book
Open Library