3 links
Anand, Bhupinder Singh
alixcomsi.com
Independent scholar, Mumbai. Interests: reviewing standard interpretations of Cantor's, Gödel's, Tarski's, and Turing's reasoning.
Costa-Leite, Alexandre
geocities.com
PhD student, University of Neuchâtel. Interests: methods for combining logics, multi-dimensional modal logics, universal logic and non-classical logics.
Flannery, Ryan
ryanflannery.org
University of Cincinnati - satisfiability, first-order and temporal logic, computer science.