Submit Site, Add URL - Main » Science » Math » Logic and Foundations

search for

Submit WebSite / Add URL Form :: Science » Math » Logic and Foundations » Foundations [Search Category]

Submission Type	Premium Listing Speedy review of your website for inclusion. Within 24 hours inclusion. Direct hyperlink to your site. Maximum Exposure. One time $49 payment only , no annual renewal required.
URL *
Title *
Description *
Your Name *
Contact E-Mail *
Country
State/City
Address
Spam Protection *	What is the third word in the phrase "qasuloze jybe doq qefo rom sok gikyvy begahifi tor vec"? This question is for testing whether you are a human visitor and to prevent automated spam submissions
Comments to Editor
Your IP	18.219.130.41

New Sites - Main » Science » Math » Logic and Foundations » Foundations

Mizar Project (27th April, 2005) : An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

Top Sites - Main » Science » Math » Logic and Foundations » Foundations

Mizar Project (

) : An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.