@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}
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
