The top documents tagged [nominal theory]

A Machine-Assisted Proof of Gödel's Incompleteness Theorems
Technology A Machine-Assisted Proof of Gödel's Incompleteness Theorems

157 views