Proceedings of the XVth World Congress of Philosophy

Volume 5, 1975

D. Vakarelov
Pages 127-130

Representation Theorems for Semi-Boolean Algebras and Semantics for Heyting-Brower Predicate Logic