Sysno
|
000124306
|
Hlavní záhlaví
|
Hájek, Petr, 1940-2016
|
|
|
Název
|
Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák.
|
|
|
Popis
|
viii-xiv, 460 stran.
|
|
|
Nakladatel
|
Berlin : Springer-Verlag, [1998].
|
OBJEDNEJTE SI:
|
Všechny jednotky
|
OBJEDNEJTE SI:
|
Ústav informatiky
|
|
|
Typ obsahu
|
text
|
Typ nosiče
|
svazek
|
Edice
|
Perspectives in mathematical logic
|
Jazyk
|
eng
|
Všeob.pozn.
|
2. tisk 1998 z 1. vydání 1993
|
Bibliogr.
|
Obsahuje bibliografii a rejstříky
|
ISBN
|
3-540-50632-2* 3-540-63648-X
|
Skupina konspektu
|
510 Obecné úvahy o matematice 13
|
MDT
|
510.6
|
|
511
|
|
511.1
|
|
(048.8)
|
|
|
Předmět
|
- matematická logika
|
|
- teorie čísel
|
|
- algebraická logika
|
|
- aritmetika
|
Žánr a forma
|
- monografie
|
Předmět angl.
|
- mathematical logic
|
|
- number theory
|
|
- algebraic logic
|
|
- arithmetic
|
Žánr a forma angl
|
- monographs
|
|
|
|
|
VedlZ-osobní jm.
|
Pudlák, Pavel, 1952-
|
|
|
Vlastník záznamu
|
UIAA
|
Sigla
|
ABB076
|
Formát
|
BK
|
|
|
Číslo zázn.
|
000124306
|
|
|