src/HOL/Number_Theory/document/root.bib
author Manuel Eberl <eberlm@in.tum.de>
Mon, 04 Feb 2019 12:16:03 +0100
changeset 69785 9e326f6f8a24
permissions -rw-r--r--
More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
69785
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     1
@book{apostol1976analytic,
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     2
	series = "Undergraduate {T}exts in {M}athematics",
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     3
	title = "Introduction to {A}nalytic {N}umber {T}heory",
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     4
	year = 1976,
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     5
	author = "Tom M. Apostol",
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     6
	publisher = "Springer-Verlag",
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     7
	doi = "10.1007/978-1-4757-5579-4",
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     8
	isbn = "978-0-387-90163-3"
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
     9
}
9e326f6f8a24 More material for HOL-Number_Theory: ord, Carmichael's function, primitive roots
Manuel Eberl <eberlm@in.tum.de>
parents:
diff changeset
    10