Logic of analog and digital machines - Rocchi, Paolo. (Nova Science Publishers,)