Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings - Artemov, Sergei. (Springer International Publishing AG, 2022)