Αποστολή με SMS: Locally compact semi-algebras with applications to spectral theory of positive operators