author | wenzelm |
Mon, 22 May 2017 00:23:25 +0200 | |
changeset 65897 | 94b0da1b242e |
parent 15083 | a471fd1d9961 |
permissions | -rw-r--r-- |
@ARTICLE{paulson-gr, author = {Lawrence C. Paulson and Krzysztof Gr\c{a}bczewski}, title = {Mechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice}, journal = {Journal of Automated Reasoning}, year = {1996}, volume = {17}, number = {3}, pages = {291-323}, month = dec} @Book{rubin&rubin, author = {Herman Rubin and Jean E. Rubin}, title = {Equivalents of the Axiom of Choice, {II}}, publisher = "North-Holland", year = 1985}