číslo produktu:134855
rezervujRok vydania: 1997
Vydavateľ: Springer
V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.
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.
Väzba: tvrdá