@book{card-book, title = {Introduction to {C}ardinal {A}rithmetic}, author = {M. Holz and K. Steffens and E. Weitz}, publisher = "Birkh{\"{a}}user", year = 1999,
}
@article{taylor-ordinals, author = {Paul Taylor}, title = {Intuitionistic Sets and Ordinals}, journal = {J. Symb. Log.}, volume = {61}, number = {3}, year = {1996}, pages = {705-744},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
¤ Dauer der Verarbeitung: 0.14 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.