Events Tagged: "completeness theorem"

1 events with tag "completeness theorem"

1929 ID: 395
Gödel proves completeness theorem for first-order logic in his doctoral dissertation
ID: 395