History

for article: John Corcoran (logician)