"Einfuehrung in die Aussagen und Praedikatenlogik 001" - читать интересную книгу автора