Lannexe contient une description de la logique mathématique. Lapplication comprend une recherche pratique.
