@STRING{lncs="LNCS"}

@Article{BaginskaGrabowski:2003,
  author =       {Bagi\'{n}ska, L. K.
              and Grabowski, A.},
  title =        {On the {Kuratowski} Closure-Complement Problem},
  journal =      {Journal of Formalized Mathematics},
  year =         2003,
  volume =    15,
  note =      {MML Identifier: KURATO\_1},
  url = "http://mizar.org/JFM/Vol15/kurato_1.html"
}

@Article{GardnerJackson:2008,
  author =       {Gardner, B.J. and Jackson, M.},
  title =        {The {Kuratowski} Closure-Complement Theorem},
  journal =      {New Zealand Journal of Mathematics},
  year =         2008,
  volume =    38,
  pages =     {9-44},
  url = "http://nzjm.math.auckland.ac.nz/images/6/63/The_Kuratowski_Closure-Complement_Theorem.pdf"
}

@inproceedings{Grabowski:2004,
  author    = {Grabowski, A.},
  title     = {Solving Two Problems in General Topology Via Types},
  booktitle = {{TYPES} 2004},
  pages     = {138--153},
  year      = {2004},
  crossref  = {DBLP:conf/types/2004},
}

@proceedings{DBLP:conf/types/2004,
  editor    = {Filli{\^{a}}tre, J.-C. and
               Paulin{-}Mohring, C. and
               Werner, B.},
  title     = {{TYPES} 2004},
  series    = lncs,
  volume    = {3839},
  publisher = {Springer},
  year      = {2006}
}

@Misc{TheoremOfTheDay:2015,
  author =    {Whitty, R.},
  title =     {Kuratowski's 14-Set Theorem},
  year =      2015,
  url = "http://www.theoremoftheday.org/Topology/Kuratowski14/TotDKuratowski14.pdf"
}

@Book{Chamberland:2015,
  author =    {Chamberland, M.},
  title =        {Single Digits: In Praise of Small Numbers},
  publisher =    {Princeton University Press},
  year =         2015
}

@Misc{Rusin:2001,
  author =    {D. Rusin},
  month =     jun,
  year =      2001,
  url = "http://web.archive.org/web/20031011151110/http://www.math.niu.edu/~rusin/known-math/94/kuratowski"
}

%  issn = {0016-2736}
@Article{Kuratowski:1922,
  author =       {Kuratowski, K.},
  title =        {Sur l'op\'{e}ration \={A} de l'Analysis Situs},
  journal =      {Fundamenta Mathematicae},
  year =         1922,
  number =    3,
  pages =     {182-199}
}

@Article{Chagrov:1982,
  author =       {Chagrov, A. V.},
  title =        {{Kuratowski} numbers},
  journal =      {Application of functional analysis in approximation theory},
  year =         1982,
  pages =     {186--190},
  note =      {Gos. Univ., Kalinin [Russian]}
}
