Mathematical Problems from Applied Logic II: Logics for the XXIst Century

(4.8/5) - 371 ratings
Authors: Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev (eds.)
Publisher: Springer
Genre: Mathematics > Logic
Pages: 377
Language: english
Year: 2007
ISBN 10: 0387692444
ISBN 13: 9780387692449
Series: International Mathematical Series 05
Edition: Unknown
6,080 people have downloaded this book for free

Synopsis

This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer Science and AI language. Coverage includes: the logic of...