'Real-valued logic and LNN tutorial

I was looking here about LNN. The documentation is not very extensive and supposes you have knowledge about FOL and real-valued logic.
Anyone knows if there are some tutorials or courses about these topics (maybe something simpler than the pdfs on https://arxiv.org...) or LNN itself?



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source