Hilbertovský a gentzenovský systém

Skip to top bar Skip to header Skip to content Skip to footer

Publications Přehled o publikaci

Přehled o publikaci

Hilbertovský a gentzenovský systém

Šárka Vavrečková

Basic information

Original name

Hilbertovský a gentzenovský systém

Authors

Šárka Vavrečková

Other information

References:

URL

Marked to be transferred to RIV

Changed: 31/1/2019 10:25, RNDr. Jan Géryk, Ph.D.

Šárka Vavrečková. Hilbertovský a gentzenovský systém.

@article{,
   author = {Šárka Vavrečková},
   title = {Hilbertovský a gentzenovský systém},
   url = {http://fpf.slu.cz/~vav10ui/obsahy/log2/skriptalast/hilbertgentzen.pdf}
}

TY  - JOUR
AU  - Šárka Vavrečková
TI  - Hilbertovský a gentzenovský systém
UR  - http://fpf.slu.cz/~vav10ui/obsahy/log2/skriptalast/hilbertgentzen.pdf
ER  -

Šárka Vavrečková. \textit{Hilbertovský a gentzenovský systém}.