Directory: Science: Math: Logic and Foundations: People: Students and Independent Scholars (3)

Costa-Leite, Alexandre

Anand, Bhupinder Singh - Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.

Flannery, Ryan - University of Cincinnati - satisfiability, first-order and temporal logic, computer science.

Help build the largest human-edited directory on the web.

Submit a Site - ODP - Become an Editor