Mathematical Logic

Type	Symbolic rules and substitution
Contrast	Classical Aristotelian, Boolean logic
Timeline	16th century onwards
Developer	Umberto Baldi
Discipline	Philosophy, mathematics
Logic machines	17th-18th centuries
Interconnection	Computer theory
Current application	Computer science, modern technologies