Released: Aug 19, 2016
A framework for mathematical logic.
Theories in formal mathematical logic.
0.1.0
Aug 19, 2016
Supported by