Formal Languages in Logic

Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning, drawing on historical developments, psychology, cognitive science and philosophy. For students and researchers in the areas of logic and computer science.