Seol É Seo mar Theachtaireacht Téacs: Introduction to mathematical philosophy /