Logic, algebra and topology by