Mathematical Logic
More on Mathematical Logic
Symbolic Logic - or mathematical logic, formalized system of deductive logic, employing abstract symbols for the various aspects of natural language. Symbolic logic draws on the concepts and techniques of mathe...