Depuis leur création, les collections « Perspectives in Logic » et « Lecture Notes in Logic » ont publié des travaux fondateurs de logiciens de renom. Nombre des ouvrages originaux de la collection étaient indisponibles depuis des années, mais ils sont désormais à nouveau disponibles. Ce volume, deuxième publication de la collection « Lecture Notes in Logic », est le compte rendu de la réunion de l'Association pour la logique symbolique qui s'est tenue à Helsinki, en Finlande, en juillet 1990. Il contient dix-huit articles de chercheurs de renom couvrant tous les domaines de la logique mathématique, de la philosophie des mathématiques à la théorie des modèles, en passant par la théorie de la preuve, la théorie de la récursivité et la théorie des ensembles, jusqu'aux liens entre la logique et l'informatique. Les articles publiés ici sont toujours largement cités et continuent de nourrir les projets de recherche en cours. Langue : anglais