Decidable Theories von Dirk Siefkes | Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic | ISBN 9783540362524

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

von Dirk Siefkes, herausgegeben von Gert H. Müller