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