

A group dedicated to the study of logic, both as a mathematical discipline and a philosophical one. Thus it concerns theorems about formal logical sys ...more

This group is for people interested in mathematics at the college level. All are welcome. Professor and students never stop learning mathematics, henc ...more
Baokai’s 2024 Year in Books
Take a look at Baokai’s Year in Books, including some fun facts about their reading.
Favorite Genres
Polls voted on by Baokai
Lists liked by Baokai