sarà banale, ma il codice identificativo dei libri isbn, è l'abbreviazione di cosa?