GEB -- meze formálních systémů

Týden 9

Přednášející

  • Jiří Zlatuška

Obsah semináře

  • Is the Man Who Is Tall Happy?

 

Předchozí
Následující
Operace
Prohlédnout vše