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

Vavrečková, Šárka

Basic information

Original name

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

Authors

Vavrečková, Šárka

Other information

References:

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