LC authorities (en ligne), 16-12-2002
Mathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák, 1993
http://id.loc.gov/authorities/names/n84154773, 2017-06-14
Information trouvée : Hájek, Petr. Forme rejetée : Hájek, Peter. Naissance : 1940. Mathematician, Professor.
Akademie věd České republiky, Ústav informatiky = Academy of Sciences of the Czech
Republic, Institute of Computer Science
http://www.cs.cas.cz/hajek/, 2017-06-14
Information trouvée : Hájek Petr. Naissance : 1940-02-06. Mathématicien. Institute of computer science,
Academy of science of the Czech Republic, Prague