author : Margaret M. West

Short works

• Types and Sets in Godel and Z. 1995. (In ZUM '95 )