Metalogic

Metalogic studies the basics of logical systems.  It is the examination of logic, its syntax, principles, and properties that make logic work.

 

 

 

 
 
CARM ison