Logic primer - Allen, Colin; Hand, Michael (Cambridge : MIT Press, 1996)
Keywords: LOGICA