

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
Ovarice’s 2024 Year in Books
Take a look at Ovarice’s Year in Books, including some fun facts about their reading.
Ovarice hasn't connected with their friends on Goodreads, yet.
Polls voted on by Ovarice
Lists liked by Ovarice