Thanks to visit codestin.com Credit goes to dbpedia.org
Spanish mathematician, logician, and philosopher