Ordinal Systems (2001)

by Anton Setzer
Venue:SETS AND PROOFS
Citations:6 - 1 self