Statman's Hierarchy Theorem
Publication year
2017Source
Logical Methods in Computer Science, 13, 4, (2017), pp. 1-39ISSN
Publication type
Article / Letter to editor

Display more detailsDisplay less details
Organization
Digital Security
Data Science
Journal title
Logical Methods in Computer Science
Volume
vol. 13
Issue
iss. 4
Page start
p. 1
Page end
p. 39
Subject
Data Science; Software ScienceThis item appears in the following Collection(s)
- Academic publications [227881]
- Electronic publications [107344]
- Faculty of Science [33782]
- Open Access publications [76470]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.