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