Tag: 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