logiska institutet i Roma ; en stor del.