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 statistics

Author Identifier Number of Items Total Downloads
Standefer, S https://orcid.org/0000-0002-3032-5290 3 139

Items

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
Jisc logo Cranfield logo CAVAL logo