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 provability, computability theory
applied 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!