Universes over Frege Structures. Kahle, R. Technical Report IAM–96–010, Universität Bern, Institut für Informatik und angewandte Mathematik, 1996.
Universes over Frege Structures [ps]Paper  bibtex   
@TechReport{kah96a,
  Author         = {Reinhard Kahle},
  Title          = {Universes over {F}rege Structures},
  Institution    = {Universit{\"a}t Bern},
  Number         = {IAM{--}96{--}010},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {1996/kah96a.ps},
  year           = 1996
}

Downloads: 0