@article{1482351,
      recid = {1482351},
      author = {Polkowski, Lech, and Polkowski, Lech.},
      title = {Logic: reference book for computer scientists /},
      pages = {1 online resource (xxxiii, 461 pages) :},
      abstract = {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 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.},
      url = {http://library.usi.edu/record/1482351},
      doi = {https://doi.org/10.1007/978-3-031-42034-4},
}