Explores the foundations of natural formal and programming languages as well as the different forms of human and mechanized inference It covers the logical linguistic and information-theoretic parts of the cognitive sciences Free tables of contents and abstracts Full text to subscribers