isabelle: src/ZF/AC/document/root.bib@ccd9cb15c062 (annotated)

15083 a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	1	@ARTICLE{paulson-gr,
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	2	author = {Lawrence C. Paulson and Krzysztof Gr\c{a}bczewski},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	3	title = {Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	4	journal = {Journal of Automated Reasoning},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	5	year = {1996},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	6	volume = {17},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	7	number = {3},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	8	pages = {291-323},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	9	month = dec}
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	10
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	11	@Book{rubin&rubin,
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	12	author = {Herman Rubin and Jean E. Rubin},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	13	title = {Equivalents of the Axiom of Choice, {II}},
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	14	publisher = "North-Holland",
a471fd1d9961 documents for ZF-AC and ZF-Constructible paulson parents: diff changeset	15	year = 1985}

author	wenzelm
	Tue, 10 Jul 2007 23:29:43 +0200
changeset 23719	ccd9cb15c062
parent 15083	a471fd1d9961
permissions	-rw-r--r--