From Abstract to Concrete Gödel's Incompleteness Theorems - Part II.

Andrei Popescu Dmitriy Traytel

Published in: Arch. Formal Proofs (2020)

Keyphrases

high level
higher level
low level
data mining
three dimensional
user interface
special case
ordered sets