Natural deduction was invented by Gerhard Gentzen and Jan Łukasiewicz.
Η φυσική απαγωγή ανακαλύφθηκε από τον Gerhard Gentzen και Jan Łukasiewicz.