Iris van der Giessen

Ein Blick auf Beweisbarkeit und Beweistechniken in logischen Systemen.

Dieser Artikel behandelt eine neue sequentielle Kalkulation für starke L-intuitionistische Logik.