Programs from classical proofs

• 31 December 1995
• conference paper
• Published by Walter de Gruyter GmbH
• p. 187-200
• https://doi.org/10.1515/9783110886726.187

Abstract