Предлагаемый вниманию читателя перевод руководства по элементам математической логики содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца ХIX - начала XX вв. Д.Гильберта и написана его учеником В.Аккерманом.
Руководство написано очень сжато и лаконично и рассчитано на читателя, привыкшего пользоваться математической литературой. Учитывая интересы более широкого круга читателей, книга снабжена несколькими ...(Подробнее)комментариями, являющимися не дополнениями к ней, а, в первую очередь, пояснениями. Прежде всего это относится к комментарию к первым двум параграфам второй главы, интересной для преподавателей элементарной логики, поскольку она представляет собой известную формализацию логики Аристотеля.