UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

On the constructive content of proofs

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 

On the constructive content of proofs

Autor: Seisenberger, Monika
Ort, Verlag, Jahr: , , 2003
Umfang: VIII, 113 S.

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Seisenberger, Monika
Titel:On the constructive content of proofs
Von:vorgelegt von Monika Seisenberger
Jahr:2003
Umfang:VIII, 113 S.
Anmerkungen:München, Univ., Diss., 2003
BV-Nummer:BV017771591