Lappendice contiene una descrizione della logica matematica. Lapplicazione include una ricerca a portata di mano.