-
6Berger U., Buchholz W., and Schwichtenberg H.. Refined program extraction from classical proofs. Annals of pure and applied logic, vol. 114 (2002), pp. 3–25 (review)Bulletin of Symbolic Logic 9 (1): 47-48. 2003.
-
REVIEWS-Refined program extraction from classical proofsBulletin of Symbolic Logic 9 (1): 47-48. 2003.
-
Southern Illinois University EdwardsvilleUndergraduate
Edwardsville, Illinois, United States of America