"Logica a informatica" - читать интересную книгу автора (Andrea Asperti, Agata Ciabattoni)