Title: Implementing mathematics with the Nuprl proof development system
Subjects: Mathematics, Nuprl (Computer system), Data processing, Automatic theorem proving, Mathematics, data processing