1 results
First Steps into Metapredicativity in Explicit Mathematics
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 383-402
-
- Chapter
- Export citation