An SMGloM Archive for Logic
The language meta-level of SMGloM
Elementary set theory for the SMGloM
The materials of the LBS course held in WS 2019/20.
A SMGloM archive for mathematical Software
The SMGloM contributions of Jukka Kohonen.
The virtual theories of the symmetric objects data collection.