Mатематическая логика и основания математики. Matematicheskaya logika i osnovaniya matematiki