Web Directory

    Top: Science: Math: Logic_and_Foundations: People:

 

Nelson, Edward

  Link Details for: Nelson, Edward
Link Title: Nelson, Edward Open in a new window
Link URL: http://www.math.princeton.edu/~nelson/index.html
Link Details: Princeton University - Bounded arithmetic, automated proof verification (QED).
Category: Top : Science : Math : Logic_and_Foundations : People
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Nelson, Edward