Title: Mathematical logic and the philosophy of God and man
Subjects: God, Proof, Symbolic and mathematical Logic