gogotanaka/Hilbert — pull request #57 by ruivieira (2014-11-18 10:00:28+00:00)
Title: Update README.md

Typo in "Logic"