Conceptos más específicos

• Atzar
• Categories (Matemàtica)
• Ciència-Metodologia
• Commutació, Teoria de la
• Conjunts, Teoria axiomàtica de
• Decidibilitat (Lògica matemàtica)
• Funcions recursives
• Gödel, Teorema de
• Lògica algebraica
• Lògica combinatòria
• Lògica de primer ordre
• Lògica difusa
• Lògica informàtica
• Matemàtica constructiva
• Models, Teoria dels
• Màquines lògiques
• Màquines, Teoria de
• Pragmàtica
• Prova, Teoria de la
• Raonament
• Semàntica (Filosofia)