001482351 000__ 03607cam\\2200577\i\4500
001482351 001__ 1482351
001482351 003__ OCoLC
001482351 005__ 20231128003332.0
001482351 006__ m\\\\\o\\d\\\\\\\\
001482351 007__ cr\cn\nnnunnun
001482351 008__ 231013s2023\\\\sz\a\\\\ob\\\\001\0\eng\d
001482351 019__ $$a1401962876$$a1402033676
001482351 020__ $$a9783031420344$$q(electronic bk.)
001482351 020__ $$a3031420349$$q(electronic bk.)
001482351 020__ $$z9783031420337
001482351 020__ $$z3031420330
001482351 0247_ $$a10.1007/978-3-031-42034-4$$2doi
001482351 035__ $$aSP(OCoLC)1402763440
001482351 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCO$$dOCLCF
001482351 049__ $$aISEA
001482351 050_4 $$aQA76.9.L63
001482351 08204 $$a005.101/5113$$223/eng/20231013
001482351 1001_ $$aPolkowski, Lech,$$eauthor.
001482351 24510 $$aLogic: reference book for computer scientists /$$cLech T. Polkowski.
001482351 250__ $$a2nd revised, modified, and enlarged edition of “Logics for computer and data sciences, and artificial intelligence."
001482351 264_1 $$aCham :$$bSpringer,$$c[2023]
001482351 264_4 $$c©2023
001482351 300__ $$a1 online resource (xxxiii, 461 pages) :$$billustrations.
001482351 336__ $$atext$$btxt$$2rdacontent
001482351 337__ $$acomputer$$bc$$2rdamedia
001482351 338__ $$aonline resource$$bcr$$2rdacarrier
001482351 4901_ $$aIntelligent systems reference library,$$x1868-4408 ;$$vvolume 245
001482351 504__ $$aIncludes bibliographical references and indexes.
001482351 5050_ $$aIntroduction: Prerequisites -- Sentential Logic -- Rudiments of First-order Logic -- Modal and Intuitionistic Logics -- Temporal Logics for linear and branching time and model checking -- Finitely and innitely valued logics -- Logics for programs and knowledge -- Beyond FO within SO.
001482351 506__ $$aAccess limited to authorized users.
001482351 520__ $$aThe 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 Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions. The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
001482351 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 13, 2023).
001482351 650_6 $$aLogique informatique.
001482351 650_0 $$aComputer logic.$$vCongresses$$0(DLC)sh2009121216
001482351 655_0 $$aElectronic books.
001482351 7001_ $$aPolkowski, Lech.$$tLogics for computer and data sciences, and artificial intelligence.
001482351 77608 $$iPrint version: $$z3031420330$$z9783031420337$$w(OCoLC)1390681007
001482351 830_0 $$aIntelligent systems reference library ;$$vv. 245.$$x1868-4408
001482351 852__ $$bebk
001482351 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-42034-4$$zOnline Access$$91397441.1
001482351 909CO $$ooai:library.usi.edu:1482351$$pGLOBAL_SET
001482351 980__ $$aBIB
001482351 980__ $$aEBOOK
001482351 982__ $$aEbook
001482351 983__ $$aOnline
001482351 994__ $$a92$$bISE