|
Sysno
|
001121243
|
|
Hlavní záhlaví
|
 Hájek, Petr, 1940-2016
|
|
|
|
|
Název
|
Metamatematika aritmetiky prvního řádu. [rukopis] : disertační práce k získání vědecké hodnosti doktora fysikálně-matematických věd / Petr Hájek ; Československá akademie věd, Matematický ústav.
|
|
|
|
|
Popis
|
146 l. ; 30 cm.
|
|
|
|
|
Naklad.údaje
|
[Praha], 1988.
|
|
OBJEDNEJTE SI:
|
Všechny jednotky
|
|
OBJEDNEJTE SI:
|
Ústav informatiky
|
|
|
|
|
Pozn.k disertaci
|
Disertace (DrSc.)--Matematický ústav (Akademie věd ČR), Praha, 1988
|
|
Bibliogr.
|
Obsahuje bibliografii
|
|
Skupina konspektu
|
510 Obecné úvahy o matematice 13
|
|
MDT
|
510.6
|
|
|
511.1
|
|
|
(043.3)378.245
|
|
|
|
|
Předmět
|
- matematická logika
|
|
|
- aritmetika
|
|
Žánr a forma
|
- doktorské disertace
|
|
Předmět angl.
|
- mathematical logic
|
|
Žánr a forma angl
|
- arithmetic
|
|
|
- higher doctoral dissertations
|
|
|
|
|
|
|
|
VedlZ-jm.korp./akce
|
Matematický ústav (Akademie věd ČR)
|
|
|
|
|
Vlastník záznamu
|
UIAA
|
|
Sigla
|
ABB076
|
|
Formát
|
BK
|
|
|
|
|
Číslo zázn.
|
001121243
|
|
|
|
