|Title||Indiana University - Program in Pure and Applied Logic|
|Publisher||Program in Pure and Applied Logic, Indiana University: Bloomington, US (IN)|
|Country (State)||United States of America|
|Format of data||text/html|
|Keywords||Indiana University; IU; logic|
|Description||"The IU Logic Program brings in Pure and Applied Logic together the talents of both logicians and researchers in related areas from the university's departments of Computer Science, History and Philosophy of Science, Linguistics, Mathematics, and Philosophy. The Program's contributing departments regularly offer a wide variety of graduate courses in logic, ranging in topic from the fundamentals through advanced seminars. In addition, the Logic Program sponsors a weekly, multidisciplinary seminar in logic as well as a more informal, weekly meeting for applied logic.
The program carries on a long tradition of excellence in logic at IU. The university was home to people who have a permanent place in the subject, including Paul Halmos, Raymond Smullyan, and Max Zorn. The program also got a new formal start in 1990 when College Professor Jon Barwise moved to IU."
|Source Type||Research Institutes|
|MSCverbal||mathematical logic and foundations|