isabelle: src/ZF/AC/document/root.bib@ec62f340e811 (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	obua
	Mon, 19 Sep 2005 22:35:39 +0200
changeset 17490	ec62f340e811
parent 15083	a471fd1d9961
permissions	-rw-r--r--