src/HOL/Number_Theory/document/root.bib
author wenzelm
Mon, 11 Sep 2023 19:30:48 +0200
changeset 78659 b5f3d1051b13
parent 69785 9e326f6f8a24
permissions -rw-r--r--
tuned;

@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"
}