# Publications

Export 1 results:
Filters: Author is Peter Clote  [Clear All Filters]
2000
: A theory of explicit mathematics equivalent to ${ \mathsf{ID} }_1$. In: Proceedings of Computer Science Logic. pp. 356-370. Springer (2000).