Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
grundlagen
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)mathematik
(2)mathematische grundlagen
(2)proof theory
(2)prooftheory
(2)03f03, 03f05, 03f15
(1)03f03,03f05,03f15
(1)allgemeines, einführung, lexikon
(1)consistency proof
(1)consistencyproof
(1)cut elimination
(1)cutelimination
(1)formal languages and automata theory
(1)gentzen formal systems
(1)gentzen's main theorem
(1)gentzen'smaintheorem
(1)gentzenformalsystems
(1)gentzen's main theorem
(1)hilbert s programme
(1)hilbert´s programme
(1)hilbert´sprogramme
(1)kurt schütte
(1)kurtschütte
(1)logic
(1)mathematik: logik
(1)ordinal analysis
(1)ordinalanalysis
(1)Ergebnis: 2 Artikel
Redaktion: michael rathjen
