A logic for metric and topology (2005)

by Frank Wolter , Michael Zakharyaschev
Venue:Journal of Symbolic Logic
Citations:13 - 11 self