Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8?11, 2018, Proceedings - Artemov, Sergei. (Springer International Publishing,)