src/HOL/Number_Theory/document/root.bib
author wenzelm
Wed, 25 Jun 2025 16:35:25 +0200
changeset 82768 8f866fd6fae1
parent 69785 9e326f6f8a24
permissions -rw-r--r--
merged

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