This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.
还没人写过短评呢
还没人写过短评呢