The expressive power of first-order topological languages | UPT Perpustakaan UHAMKA