Hilbertovský a Gentzenovský formální systém (skripta)

Podrobný výpis o publikaci

Vavrečková, Šárka

Vavrečková, Šárka

Změněno: 31. 1. 2019 10:25, RNDr. Jan Géryk, Ph.D.

Vavrečková, Šárka. Hilbertovský a Gentzenovský formální systém (skripta).

Vavrečková, Šárka. \textit{Hilbertovský a Gentzenovský formální systém (skripta)}.