IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
Author | Identifier | Number of Items | Total Downloads |
---|---|---|---|
Standefer, S | https://orcid.org/0000-0002-3032-5290 | 3 | 139 |
Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
---|---|---|---|---|---|
Non-classical circular definitions | orcid:0000-0002-3032-5290; Standefer, S | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/194464 | 42 |
Proof Theory for Functional Modal Logic | orcid:0000-0002-3032-5290; Standefer, S | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/214152 | 96 |
SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS | orcid:0000-0002-3032-5290; Standefer, S | Article | University of Melbourne [Minerva Access] | http://hdl.handle.net/11343/124143 | 1 |