| Name | Identifiers | Coverage |
|---|---|---|
| Handbook of Statistical Analysis and Data Mining Applications |
|
Fulltext |
| Handbook of the History of Logic |
|
Fulltext |
| Handbook of the History of Logic |
|
Fulltext |
| Logic from Russell to Church |
|
Fulltext |
| Mediaeval and Renaissance Logic |
|
Fulltext |
| Philosophy of Information |
|
Fulltext |
| Philosophy of Mathematics |
|
Fulltext |
| Quantification in Nonclassical Logic |
|
Fulltext |
| Realizability: An Introduction to its Categorical Side |
|
Fulltext |
| Studies in Logic and the Foundations of Mathematics |
|
Fulltext |