Note: properties of files are abbreviated as: L (landscape), ru/en/de/... (language), C (color), T (OCR present), K (cleaned). ISBN numbers are shown in green.
Boerger E., Oberschelp W., Richter M.M., Schinzel B., Thomas W. (eds.) Computation and Proof Theory II [LNM1104, Springer, 1984] (354013901X,djvu,483 p.,3006K,300dpi,en,T)
Total size of the collection: 4550585 KB
Total number of books (DjVu, PS, PDF files): 2163
Other files (non-book): 23
DjVu files: 1924 (3809677.4 KB)
PS files: 0 (0.0 KB)
PDF files: 239 (713756.5 KB)
Books by language:
English
1786
French
213
Russian
107
German
79
Ukrainian
1
Total pages: 645706
Average KB per page: 7.0
Average publication year: 1984