Distributive normal forms in the calculus of predicates
Series: Acta philosophica Fennica -- fasc. 6, 1953
Publisher: Edidit Societas Philosophica; distribuit Akatesminen Kirjakauppa
Published: 1953
Place of publication: Helsinki]
Language: eng
Number of pages: 71
Subjects: Symbolic and mathematical Logic
Other titles: The calculus of predicates.
Notes: Bibliography: p. 71.