A list of 11 words by rickmurphy.
- cantor appears on 16 other lists
- peirce appears on 1 other list
- frege appears on just this list
- russell appears on 2 other lists
- zermelo appears on just this list
- frankel appears on just this list
- gentzen appears on just this list
- church appears on 27 other lists
- godel appears on 1 other list
- martin-lof appears on just this list
- coquand appears on just this list

Comments
No comments yet...
Log in or sign up to get involved in the conversation. It's quick and easy.