Propositional manifolds and logical cohomology
Vol. 125/1-2
Joseph Kouneiher , Arasu Balan
Volume
Title
Author