Individuals searching for Logic Graduate Programs found the following related articles, links, and information useful.
Mathematical Logic has a long tradition in the UCLA Mathematics Department going back to the 1940s, with early faculty that included C. C. Chang, Alfred Horn, Max Zorn, and Abraham Robinson. The group's strengths over the years have been in model and set theory, and the foundations of mathematics.
Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. We continue this tradition, using logic as a tool that enables computer programs to reason about.
Part 2: Apply to the PhD in Mathematics Education. We base admissions decisions on a variety of factors including past performance in coursework, especially mathematics course work, GPAs in past degree programs, entrance exam scores, and letters of recommendation.
I'm starting a PhD in proof theory in six months time. I've got plenty of downtime in which I can do some preliminary reading, so I'd love to hear some recommendations. I hope to learn some category theory too. I have zero experience in mathematical logic as of yet (although I'm working through some basic textbooks now). Thanks!
For English-taught Master's and PhD only. Please, upload your TOEFL certificate or any other international certificate (IELTS, BEC, etc.). You haven't to provide such a certificate in case English is your mother tongue or your previous education was in English (it should be written in diploma or transcripts).
Graduate Study in Logic at Berkeley. There are three different graduate programs at the University of California, Berkeley, in which a student wishing to specialize in logic and related fields may enroll: The Ph.D. Program in Philosophy.
Research teams and centers: Europe - North America - Other Publications - Blogs - Organizations and conferences - Mailing lists - Software - Other. Here is a list of research groups and departments (and some isolated logics specialists in other departments) in the foundations of mathematics and computer science (logic, set theory, model theory, theoretical computer science, proof theory.