Keine direkten Treffer
|
'Sequenzenkalkül' und Synonyme zu OpenThesaurus hinzufügen |
Teilwort-Treffer und ähnlich geschriebene Wörter
Kein Teilwort-Treffer
Keine ähnlichen Treffer
Nicht das Richtige dabei?
|
|
'Sequenzenkalkül' und Synonyme zu OpenThesaurus hinzufügen |
Wiktionary
Keine direkten TrefferWikipedia-Links
Beweistheorie · Mathematische Logik · Formales System · Kalkül · klassische Logik · Intuitionismus · Gerhard Gentzen · Systeme natürlichen Schließens · Prädikatenlogik · Gentzenscher Hauptsatz · Schnittregel · Metalogik · cut-elimination · Widerspruchsfreiheit · Peano-Axiome
Quelle: Wikipedia-Seite zu 'Sequenzenkalkül' [Autoren]
Lizenz: Creative Commons Attribution-ShareAlike
Lizenz: Creative Commons Attribution-ShareAlike
