MPG.eBooks - Search Results - %22Mathematical Logic AND Foundations%22

Search alternatives:
22mathematical logic » mathematical logic , mathematics logic , mathematical logical

Cover Image

1

Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Published 2018

Springer International Publishing

Table of Contents: “...Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic...”