Хочется чего нибудь легко читаемого (макс примеров, мин доказательств) по мат логике, формальным теориям ну и всего что есть в эпсилон окрестности. Существую ли ярко выраженные представители?