Implementing mathematics with the Nuprl proof development system

MathematicsNuprl (Computer system)Data processingAutomatic theorem provingMathematics, data processing

For young readers