A logic for metric and topology

From MaRDI portal
Publication:5718689