Jean, I really don't know the answer to that. I like to know what they are using when I see something not quite ordinary, but that is just me. I don't think too many people notice subtle differences in type such as Times, Times Roman or Times Ten Roman, or care. Why a publishing house would feel the need to include it in their frontmatter, I couldn't say. The people most interested in knowing would be other publishers, design houses, typographers, perhaps advertising agencies, and probably a few more I can't think of. What we readers want most it is a type that is very readable without giving us eyestrain. Times Roman is (or was) the most used typeface because it is easy on the eyes. I think Arial takes the prize for ease of online reading.
Note of interest: There must be thousands of typefaces, many of which are proprietary. The printer or publisher must buy what is essentially a license to be able to use them. Many of the typefaces look almost like twins but for maybe a very tiny variation. Some companies, Coca Cola for instance, pay type designers to come up with a special font just for their logo and brand advertising. They become part of the trademark, and/or are listed as a design patent. This gives the company some legal protection from anyone else using that particular typeface. Type designs apparently cannot be copyrighted except in very limited circumstances, like being an integral part of a piece of software.