User:PatrickNicodemus

Graduate student studying mathematical logic at UW-Madison