Boeken over Logique et interaction: une étude sémantique de la totalité