1 results
Provable computable selection functions on abstract structures
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 275-306
-
- Chapter
- Export citation