Looking Backward; Looking Forward

Federated Logic Conference (FLoC) 2018 ›

1:02:37 | Jul 13th, 2018

An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018