src/HOL/Number_Theory/document/root.bib
changeset 69785 9e326f6f8a24
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/HOL/Number_Theory/document/root.bib	Mon Feb 04 12:16:03 2019 +0100
     1.3 @@ -0,0 +1,10 @@
     1.4 +@book{apostol1976analytic,
     1.5 +	series = "Undergraduate {T}exts in {M}athematics",
     1.6 +	title = "Introduction to {A}nalytic {N}umber {T}heory",
     1.7 +	year = 1976,
     1.8 +	author = "Tom M. Apostol",
     1.9 +	publisher = "Springer-Verlag",
    1.10 +	doi = "10.1007/978-1-4757-5579-4",
    1.11 +	isbn = "978-0-387-90163-3"
    1.12 +}
    1.13 +