The logic of the reverse mathematics zoo.
Saved in:
| Title: | The logic of the reverse mathematics zoo. |
|---|---|
| Authors: | D'AGOSTINO, GIOVANNA1 giovanna.dagostino@uniud.it, MARCONE, ALBERTO1 alberto.marcone@uniud.it |
| Source: | Mathematical Structures in Computer Science. Mar2018, Vol. 28 Issue 3, p412-428. 17p. |
| Database: | Mathematics Source |
| ISSN: | 09601295 |
|---|---|
| DOI: | 10.1017/S0960129516000323 |