Košík
zboží
(prázdné)
Kontakt
Účet
MEGA VÝHODNÉ
\nOur first goal is Godel\'s completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all...
číst celé
Recenze