⭐ Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
📖 Description
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.