Cтраница 4
Автор прилагал усилия, чтобы сделать изложение доступным для возможно более широкого круга читателей. От читателя требуется определенная математическая культура и готовность терпеливо восполнять недостающие рутинные шаги в многочисленных индуктивных доказательствах. Что касается логики, то достаточно владеть вводным в классическую математическую логику курсом. Учебник Мендельсона [1], например, содержит все необходимые сведения. Знакомство с литературой по интуиционистской логике, в особенности с книгой Гейтинга [3] и Клини и Весли [1], является желательным, но не необходимым. Возможно, при первом чтении книги читатель пожелает получить представление о различных интуиционистских теориях и способах их исследования и при этом избежать длинных и утомительных доказательств. Однако для более полного овладения предметом следует, конечно, тщательно проработать доказательства. Книга не содержит специальных упражнений, но построена так, что проведение всех рутинных деталей составляет определенную самостоятельную работу, являющуюся органической частью тщательного изучения книги. Автор надеется, что овладение материалом книги подведет читателя к самостоятельным исследованиям в рассматриваемой области и позволит ему ориентироваться в журнальной литературе по специальности. [46]