Reasoning in first-order theories with extensionality / von Bernhard Kragl. 2014
Inhalt