PP-2000-01: Ian Hodkinson, Szabolcs Mikulás, Yde Venema Axiomatizing Complex Algebras by Games 1.Full Text, 2.Abstract. < Back