Пропонована читачеві книга є збірником, складеним з доповідей, представлених видатними зарубіжними вченими на першому Міжнародному конгресі з логіки, методології та філософії науки, що відбувся в 1960 р. у Станфорді (США). До збірки включені найбільш цікаві доповіді з математичної логіки, теорії множин, теорії моделей, теорії алгоритмів, основ математики та математичної лінгвістики, що не тільки висвітлюють останні досягнення в даній галузі науки, але і намічають завдання і проблематику подальших досліджень.. Книга представляє інтерес для широких кіл математиків, що займаються основами математики і математичною логікою, для філософів і представників інших наук, які цікавляться методологічними проблемами математики, а також для лінгвістів, що працюють над проблемами кодування і обробки інформації за допомогою обчислювальних машин.. Вона доступна також аспірантам і студентам старших курсів відповідних вищих навчальних закладів.