License single eBooks
Your results
Search and Filter
Free text
Search across title, subtitle, authors, and ISBNs
ISBNs
Copy and paste up to 1000 ISBNs separated by comma(,), space (‘ ‘), or line break
Loading...
United Nations Sustainable Development Goals (SDGs)
Top books for working towards the SDGs, hand-selected by Springer Nature editors
0 selected out of 0 items
Series
Lecture notes, etc. How to find other series
0 selected out of 0 items
Copyright years
From 1815 onwards
0 selected out of 0 items
Collections
Our most popular sets of eBooks
R0 collections
Reference modules
0 selected out of 0 items
Subject
SN’s own taxonomy
Loading...
0 selected out of 0 items
-
Francesca Poggiolesi978-90-481-9670-82011 Edition 1- First book which gives an uniform and exhausitive presentation of both types of sequent calculus for modal logic, the purely syntactic sequent calculi as well as the semantic ones First book that gives a complete and accurate description of the tree-hypersequent method One of the few books which are mainly based on logical results, but that are also accompanied by philosophical discussion
€260