This is a log of changes to User:VeblenBot/List of mathematical logic articles.
May 17, 2013
editCount: 2,487 articles.
- Added Stemmatics
May 17, 2013
editCount: 2,487 articles.
- Added Stemmatics
May 10, 2013
editCount: 2,486 articles.
- Removed Salvino Azzopardi
May 06, 2013
editCount: 2,487 articles.
May 05, 2013
editCount: 2,486 articles.
- Added Unification (computer science)
- Added Well-pointed category
April 28, 2013
editCount: 2,484 articles.
- Added Generative recursion
- Added Multiple recursion
- Added Open recursion
- Added Single recursion
April 27, 2013
editCount: 2,480 articles.
- Added Anonymous recursion
- Added Direct recursion
- Added Feigenbaum constants
- Added Indirect recursion
April 25, 2013
editCount: 2,476 articles.
- Added Parent function
April 23, 2013
editCount: 2,475 articles.
- Added Descent (mathematics)
- Redirected Descent (category theory) to Descent (mathematics)
- Removed Minimização de Circuitos
April 21, 2013
editCount: 2,476 articles.
- Added Jeremy Avigad
- Added Minimização de Circuitos
April 18, 2013
editCount: 2,474 articles.
April 08, 2013
editCount: 2,473 articles.
- Redirected Type soundness to Type safety
April 02, 2013
editCount: 2,474 articles.
- Removed Program logic
March 28, 2013
editCount: 2,475 articles.
- Removed Monarchical ordinal
- Removed Mummadi
March 27, 2013
editCount: 2,477 articles.
- Added Subject expansion
- Removed Asynchronous logic (algebra)
March 26, 2013
editCount: 2,477 articles.
- Added Monarchical ordinal
March 25, 2013
editCount: 2,476 articles.
- Added Julia Robinson
March 23, 2013
editCount: 2,475 articles.
- Added Reachability problem
- Added Workshop on Reachability Problems
- Removed Trinomial option pricing in Java
March 22, 2013
editCount: 2,474 articles.
March 20, 2013
editCount: 2,473 articles.
- Removed Invariance theorem
March 18, 2013
editCount: 2,474 articles.