- Sprache
-
Englisch
- Anmerkungen
-
Münster (Westfalen), Univ., Diss., 2005
- Identifier
-
975570153
Thema
Beweistheorie ; Bezeichnungssystem ; Ordinalzahl ; Ramsey-Theorie ; Kruskal-Satz ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Deep inference and symmetry in classical proofs
Linear logic and noncommutativity in the calculus of structures
Numbers and topologies : two aspects of ramsey theory
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + Π3-Reflexion
Phase transitions in the evolution of partially ordered sets
"Die Partitur allein kennt die Fermate" - Dimensionen einer politischen Theorie der Ästhetik : auf der Grundlage des Handlungsbegriffs bei Hannah Arendt durchgeführt anhand des biographischen Vorwurfs und kompositorischer Modelle von Karl Amadeus Hartmann
Universal scaling behavior of non-equilibrium phase transitions
Phase transitions in nonequilibrium stochastic particle systems with local conservation laws
Erdkundelehrpläne im Elfenbeinturm? : Untersuchungen zum Theorie-Praxis-Verhältnis am Beispiel des Lehrplans Erdkunde für die gymnasiale Oberstufe des Landes Nordrhein-Westfalen
Heterotic M-theory, warped geometry and the cosmological constant problem
Phase transitions in magnetic clusters and other finite systems
Deep inference and symmetry in classical proofs
Linear logic and noncommutativity in the calculus of structures
Numbers and topologies : two aspects of ramsey theory
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + Π3-Reflexion
Phase transitions in the evolution of partially ordered sets
"Die Partitur allein kennt die Fermate" - Dimensionen einer politischen Theorie der Ästhetik : auf der Grundlage des Handlungsbegriffs bei Hannah Arendt durchgeführt anhand des biographischen Vorwurfs und kompositorischer Modelle von Karl Amadeus Hartmann
Universal scaling behavior of non-equilibrium phase transitions
Phase transitions in nonequilibrium stochastic particle systems with local conservation laws
Erdkundelehrpläne im Elfenbeinturm? : Untersuchungen zum Theorie-Praxis-Verhältnis am Beispiel des Lehrplans Erdkunde für die gymnasiale Oberstufe des Landes Nordrhein-Westfalen
Heterotic M-theory, warped geometry and the cosmological constant problem
Phase transitions in magnetic clusters and other finite systems
Deep inference and symmetry in classical proofs
Linear logic and noncommutativity in the calculus of structures
Numbers and topologies : two aspects of ramsey theory
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Zur endlichen Behandlung der Beweistheorie schwacher Fragmente der Mengenlehre : KP + Π3-Reflexion
Phase transitions in the evolution of partially ordered sets
"Die Partitur allein kennt die Fermate" - Dimensionen einer politischen Theorie der Ästhetik : auf der Grundlage des Handlungsbegriffs bei Hannah Arendt durchgeführt anhand des biographischen Vorwurfs und kompositorischer Modelle von Karl Amadeus Hartmann
Universal scaling behavior of non-equilibrium phase transitions
Phase transitions in nonequilibrium stochastic particle systems with local conservation laws
Erdkundelehrpläne im Elfenbeinturm? : Untersuchungen zum Theorie-Praxis-Verhältnis am Beispiel des Lehrplans Erdkunde für die gymnasiale Oberstufe des Landes Nordrhein-Westfalen
Heterotic M-theory, warped geometry and the cosmological constant problem