Detailed Information on Publication Record
Hilbertovský a gentzenovský systém
Šárka VavrečkováBasic information
Original name
Hilbertovský a gentzenovský systém
Authors
Šárka Vavrečková
Other information
References:
Změněno: 31/1/2019 10:25, RNDr. Jan Géryk, Ph.D.