Математическая логика и некоторые ее приложениякнига