Revision history for entry Pollock, John L. (1971). "Henkin style completeness proofs in theories lacking negation" [JOHHSC-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-01T14:31:50updateSystem / admin update -
2013-12-01T14:31:46updateSystem / admin update -
2013-11-22T08:34:14updateSystem / admin update -
2013-11-04T06:10:36updateSystem / admin update -
2010-10-28T08:42:31updateSystem / admin update -
2010-10-01T14:42:13updateSystem / admin update -
2010-09-23T12:06:06addSystem / admin update -