ENGLISH

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

By Dov M. Gabbay , Sergei S. Goncharov , Michael Zakharyaschev (eds.)

Book information

Publisher
Springer
Year
2007
ISBN
9780387692449, 0387692444, 0387692452
Language
english
Format
PDF
Filesize
3 MB (2665102 bytes)
Series
International Mathematical Series 05
Pages
376\376
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Description

"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

Similar books