Number of the records: 1
Pudlák, Pavel, 1952-
Personal name Pudlák, Pavel, 1952- Biographical Note Narozen 1952. RNDr., DrSc., matematik, zaměřený na matematickou logiku a teorii složitosti. Data source entry Pudlák, Pavel: Logical foundations of mathematics and computational complexity : a gentle introduction. Cham : Springer, c2013. LC (Names), cit. 29. 11. 2013 ; autoritní forma, datum narození www(Vesmír), cit. 29. 11. 2013 ; biografické údaje Collection kind File of personal names and family names References (1) - Monographies, maps Databáze národních autorit NK ČR
Number of the records: 1