Applikative Theorien und Frege-Strukturen. Kahle, R. Ph.D. Thesis, Universität Bern, Institut für Informatik und angewandte Mathematik, 1997.
Applikative Theorien und Frege-Strukturen [ps]Paper  bibtex   
@PhdThesis{kah97a,
  Author         = {Reinhard Kahle},
  Title          = {Applikative Theorien und Frege-Strukturen},
  School         = {Universit{\"a}t Bern},
  Address        = {Institut f{\"u}r Informatik und angewandte Mathematik},
  url            = {1997/kah97a.ps},
  year           = 1997
}

Downloads: 0