|
@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.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
