Publications

Export 1 results:
Filters: Author is S. Barry Cooper  [Clear All Filters]
1999
Strahm, T.: First steps into metapredicativity in explicit mathematics. In: Cooper, B.S. and Truss, J.K. Sets and Proofs. pp. 383-402. Cambridge University Press (1999).