Title: Axiomatisierung der Fregeschen Aussagenkalküle
Subjects: Symbolic and mathematical Logic
People: Gottlob Frege (1848-1925)