isabelle: src/ZF/AC/document/root.bib@59b937edcff8 (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	nipkow
	Thu, 26 Jun 2025 17:30:33 +0200
changeset 82772	59b937edcff8
parent 15083	a471fd1d9961
permissions	-rw-r--r--