Example image of eyePlorer eyePlorer-Ergebnisse für 'Gentzenscher Hauptsatz': Gentzentypkalkül Gültige Regel Mathematische Logik Schnittregel Gerhard Gentzen Modus ponens Sequenzenkalkül Ableitung (Logik) Vollständige Induktion Elementarsatz Logischer Operator Junktor Quantor Dialogische Logik Kalkül Widerspruchsfreiheit Negation Subjunktion Kontradiktion Kurt Schütte Paul Lorenzen Transfinite Induktion Craig-Interpolation Maschinengestütztes Beweisen Resolution (Logik) Prolog (Programmiersprache) George Boolos Modallogik Satz von Herbrand Kuno Lorenz Metamathematik Normalform Beweistheorie Liste mathematischer Sätze Systeme natürlichen Schließens
Disclaimer