It is an international organization for the promotion of research in the areas of logic, philosophy, and the history of mathematics.
Είναι μια διεθνής οργάνωση για την προώθηση της έρευνας στα πεδία της λογικής, της φιλοσοφίας και της ιστορίας των μαθηματικών.