SolrQueryCompletionProxy
QueryCompletionProxy
 
     
Zurück zur Trefferliste

Proof theory the first step into impredicativity

Universitätsbibliothek & dezentrale Bibliotheken (1/1)

Buch
Proof theory : the first step into impredicativity  
( Universitext )

Pohlers, Wolfram
Berlin [u.a.] , 2009 . - XIII, 370 S., graph. Darst.
ISBN 978-3-540-69318-5

→  Inhaltsverzeichnis

  • Exemplare
    /TouchPointClient_touchpoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • zum Dokument
    /TouchPointClient_touchpoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPointClient_touchpoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Person Pohlers, Wolfram
Titel Proof theory
Titelzusatz the first step into impredicativity
Verantwortlich Wolfram Pohlers
Veröffentlichungsangaben Berlin [u.a.] ,  2009
Physische Eigenschaften XIII, 370 S., graph. Darst.
Sprache Englisch
ISBN 978-3-540-69318-5
Serie/ Reihe Universitext
Elektronische Ressource Inhaltsverzeichnis:  http://digitale-objekte.hbz-nrw.de/storage/2008/10/2 ...
ID in diesem Katalog 1509664
ID im Bibliotheksverbund HT015707766
Schlagworte, Sachgruppen ↓