dajobe: how to measure this versus Pat Hayes's? Get a third logician to decide? weigh them?
dajobe: contains examples in what he calls n-triples but isn't, might be n3
DanC: Harold Boley Draft, 2001-09-18
DanC: hope to read this sometime soon...
DanC: hope to read this sometime soon...