LCNA (CD OCLC), 1993-12
Mathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák, 1993
http://id.loc.gov/authorities/names/n88151353, 2017-06-14
Information trouvée : Pudlák, Pavel (1952-....). Naissance : 1952-05-30
http://users.math.cas.cz/~pudlak/, 2017-06-14
Information trouvée : Pavel Pudlák. Mathematical Institute of the Czech Academy of Sciences, Department
of Mathematical Logic and Theoretical Computer Science