El apéndice contiene una descripción de la lógica matemática. La aplicación incluye una búsqueda manual.