Metamath

#	Item
21	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
22	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-06-08 08:30:23 Mathematical proof QED manifesto Square root of 2 Automated reasoning Metamath Theorem Algorithm Proof assistant Prime number Mathematics Logic Mathematical logic