| 000 -LEADER |
|---|
| fixed length control field |
nam a22 7a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
190510b xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319925905 |
| Terms of availability |
(hbk) |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13 |
| Item number |
WAS |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wasilewska, Anita |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Logics for computer science : classical and non-classical |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Switzerland : |
| Name of publisher, distributor, etc |
Springer, |
| Date of publication, distribution, etc |
2018. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
x, 535p. : |
| Other physical details |
ill. ; |
| Dimensions |
27 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
EUR |
| Price amount |
99.99 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design |
|
|---|
| Topical term or geographic name as entry element |
Symbolic and mathematical |
|
|---|
| Topical term or geographic name as entry element |
Artificial intelligence |
|
|---|
| Topical term or geographic name as entry element |
Mathematical foundations |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |