Provability Logic
Edit Page
Report
Scan day: 05 March 2014 UTC
11
Virus safety - good
Description: Open Encyclopedia article.
Provability Logic - Historical survey | Open-Site.org Pioneered by Robert Solovay in 1976. Since then until his passing 1n 1997 the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Vladimir Shavrukov, Albert Visser and others.
Size: 364 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Provability Logic - Historical survey | Open-Site.org |
| Keywords: | encyclopedia,free encyclopedia,oep,open site,open encyclopedia,peer reviewed,free information |
| Description: | |
| IP-address: | 54.235.125.249 |