Automatentheorie und Logikde Martin HofmannEdiciones (1)Automatentheorie und Logik (2011)Springer · alemán · ISBN 9783642180897Más obras de Martin HofmannSiegfried Kracauer1997Foundations of Software Science and Computational StructuresExtensional Constructs in Intensional Type Theory