author | wenzelm |
Thu, 24 Jul 2014 10:22:34 +0200 | |
changeset 57637 | eeb2d50ec71f |
parent 49310 | 6e30078de4f0 |
permissions | -rw-r--r-- |
@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} }