License single eBooks

Your results

freetext-search isbn-search sdg-search snt-search ebop-search series-search cry-search

Search and Filter

freetext-search

Free text

Search across title, subtitle, authors, and ISBNs

isbn-search

ISBNs

Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break

Loading...

You've reached the limit of 1000 ISBN numbers

sdg-search

snt-search

Subject

SN’s own taxonomy

Loading...

Search for subjects

No results found. Try again with another term.

0 selected out of 0 items

Show All Selected

ebop-search

series-search

cry-search

Download list (.CSV)

View Cart

Logics for Computer Science

Classical and Non-Classical

Anita Wasilewska

978-3-319-92591-2

2018
Edition 1
- Offers a comprehensive, intuitive understanding of different logics and discusses some of their applications to Computer Science, and also makes readers understand the need of, and existence of Symbolic Logic as a scientific field
- Book chapters are as self-contained as possible so that they can be combined in different sequences depending of the level of a course one wants to teach it and of material one wants to teach, whether in Computer Science, Mathematics, or Artificial Intelligence
- Includes long intuitive introductions to each chapter, many detailed examples explaining each of the introduced notions and definitions, and well-chosen sets of exercises with carefully written solutions. It also contains samples of quizzes and tests after each chapter
- Includes links to the author's companion lecture slides for each chapter: several hundred presentations which summarize the ideas presented in the chapters for ease of comprehension
- Includes supplementary material: sn.pub/extras
€419 €377
10% OFF

Help library users learn, on good terms

License single eBooks to give your patrons unlimited Springer Nature Link access to the eBooks they need, with clear and generous terms for the library.

The book they need

No minimums, license single eBooks
Choose freely among 300 000+ titles
Read and download on Springer Nature Link
Access after 2‐3 days for new customers, then quicker access

How ordering single eBooks works

Access for all patrons

DRM free PDF and ePub
Continuous access
Unlimited simultaneous users
Digital preservation services

Our prices and licensing terms

Uncomplicated prices

One price per eBook
Pay once, no renewals
No platform fees
Generous ILL support

Our prices and licensing terms

Open Access books ‐ explore the quality of our eBooks

Read and download any of our 2500 Open Access eBooks on Springer Nature Link.

License, payment, and ROI

Agree to terms and conditions during checkout, or sign the license via DocuSign
Invoice sent via email or e-invoicing system, pay after 30 days
COUNTER 5 usage data for download or via SUSHI

How ordering single eBooks works

Metadata and access methods

Cataloging automation for ALMA, OCLC WMS, and TDNet
MARC records of good quality
Access via IP addresses, SSO, or personal user accounts

About our metadata and access methods

180 years of publishing

One of the world's foremost academic publishers
Trusted by top universities, colleges, and ministries
Offices in 50 countries worldwide

About us

Help and contact

24/7 phone and email support
Emails typically responded to in 12 hours
FAQs and guides

Get assistance

Is this helpful?