Treffer
1 - 1
Treffer von
1
für Suche '
"Mathematische Logik"
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
topic_facet:"Reflexionsschema"
ulb_ResourceType_facet:"Text"
ulb_person_facet:"Duchhardt, Christoph"
Scroll
Suche: "Mathematische Logik"
Treffer
1 - 1
Treffer von
1
für Suche '
"Mathematische Logik"
'
, Suchdauer: 0,08s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Dissertation/Habilitation
Thinning Operators and Pi 4 -Reflection
Duchhardt, Christoph
2008
Schlagwörter:
“
...
Mathematische
Logik
Beweistheorie Ordinalzahlanalyse Kripke-Platek-Mengenlehre Reflexionsschema...
”
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
Schlagwörter: Reflexionsschema
Filter aufheben
Medientypen: Text
Filter aufheben
Personen: Duchhardt, Christoph
OpenAccess
Open Access
1
Dokumenttypen
Dissertation/Habilitation
1
Personen
Duchhardt, Christoph
Pohlers, Wolfram
1
FB/Einrichtung
FB 10: Mathematik und Informatik
1
Schlagwörter
Beweistheorie
1
Kripke-Platek-Mengenlehre
1
Mathematische Logik
1
Ordinalzahlanalyse
1
Reflexionsschema
Schnittelimination
1
imprädikativ
1
Fachgebiete
Mathematik
1
Erscheinungsjahr
2008
1
Medientypen
Text
×
Wird geladen...