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 2010β€Ž Mkifer (Talk | contribs)β€Ž . . (2,106 bytes) (+2,106)β€Ž . . (Created page with 'From: Stijn Heymans <heymans@kr.tuwien.ac.at> I read through the appendix on Herbrand Semantic Structures in the FLD, and am happy so see such a useful addition. I have some…')