Search
1 heading found for KAC202272186
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Hájek, Petr
Hájek, Petr (1940- ) Hájek, Petr, 1940-2016 Petr Hájek (matematik) český logik a matematik Hájek, Petr, fl. 1972 Petr Hájek český logik a matematik |
Personal | Akademie věd České republiky, Ústav informatiky = Academy of Sciences of the
...
Analyse dans les espaces de Banach Avtomatičeskoe obrazovanie gipotez : matematičeskie osnovy obŝej teorii Metamathematics of first-order arithmetic The theory of semisets. |