Learning logic with RKN

 

v20240901