Presenterar ett nytt synsätt på formella språk, särskilt men inte uteslutande som de används i logik. Fokuserar på deras kognitiva inverkan på mänskligt resonemang, med utgångspunkt i historisk utveckling, psykologi, kognitionsvetenskap och filosofi. För studenter och forskare inom logik och datavetenskap.