Hilbertovský a Gentzenovský formální systém (skripta)
Vavrečková, ŠárkaZákladní údaje
Originální název
Hilbertovský a Gentzenovský formální systém (skripta)
Autoři
Vavrečková, Šárka
Další údaje
Odkazy
Změněno: 31. 1. 2019 10:25, RNDr. Jan Géryk, Ph.D.