This book constitutes the revised selected papers of the 13th International Symposium on Foundati...