Download e-journal holdings in Excel, KBART, or ONIX-PH and e-book holdings in Excel (part 1, part 2, part 3) or search all content below. You may also request a holdings comparison.
| Titles search on keyword formalized mathematics (1) | Publisher | ISSN | Status | PCA ? |
|---|---|---|---|---|
| Formalized Mathematics | De Gruyter |
1426-2630, 1898-9934
|
preserved | Yes |