Revision history of "Response to StH1"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 01:45, 9 May 2010Mkifer (Talk | contribs). . (2,106 bytes) (+2,106). . (Created page with 'From: Stijn Heymans <> I read through the appendix on Herbrand Semantic Structures in the FLD, and am happy so see such a useful addition. I have some…')