RecentChanges

Updates since 1970-01-01 00:00 UTC

(for notes-philosophy-logic-logicNotes only)

1 days 3 days 7 days 30 days 90 days
List latest change per page only List only major changes
List later changes RSS RSS with pages RSS with pages and diff

2016-01-22

2014-06-17

2014-05-09

2013-09-28

  • 11:52 UTC (new) notes-philosophy-logic-logicNotes . . . . BayleShanks – * http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1787 Jingde Cheng. Entailment Calculus as the Logical Basis of Automated Theorem Finding . . .

Filters

BayleShanks RecentChanges Bayle Shanks's website
Comments on RecentChanges This page is read-only View other revisions Administration