Home : Book details : Book description

Description of  Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of Logics for Computer and Data Sciences, and ... (Intelligent Systems Reference Library, 245)

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gdel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions. Read more