Handbook of logic in computer science. Vol.1: Background: Mathematical structures

Abramsky, S.2022-03-022022-03-0219920-19-853735-2https://publica.fraunhofer.de/handle/publica/128429Handbook of logic in computer science. Vol.1: Background: Mathematical structures