src/HOL/Number_Theory/document/root.bib
author wenzelm
Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265 4b875a4c83b0
parent 69785 9e326f6f8a24
permissions -rw-r--r--
update for release;

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