>>14122865This is sadly largely true. However, to answer your question OP, the best schools for mathematical logic in the US would be UCLA, University of Chicago, Notre Dame, University of Indiana Bloomington, and Carnegie Mellon. There are still a lot of computer scientists who do research on logic, but its mostly more applied stuff related to stuff like SAT solvers, fuzzy logic, and stuff that is useful in bioinformatics and systems biology.
