src/HOL/Number_Theory/document/root.bib
author wenzelm
Mon, 13 Apr 2020 22:08:14 +0200
changeset 71751 abf3e80bd815
parent 69785 9e326f6f8a24
permissions -rw-r--r--
tuned NEWS;

@book{apostol1976analytic,
	series = "Undergraduate {T}exts in {M}athematics",
	title = "Introduction to {A}nalytic {N}umber {T}heory",
	year = 1976,
	author = "Tom M. Apostol",
	publisher = "Springer-Verlag",
	doi = "10.1007/978-1-4757-5579-4",
	isbn = "978-0-387-90163-3"
}