| Founded | Late 19th century |
| Members | Mathematicians • philosophers • logicians |
| Founders | |
| Location | |
| Contributions | Principles of functional programming • Theoretical computer science • Logic • Mathematics |
| Subject areas | Algebraic logic • set theory • foundations of mathematics |
