An introduction to proof theory : normalization,
cult-elimination, and consistency proofs

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2021

An introduction to proof theory : normalization, cult-elimination, and consistency proofs

MANCOSU, Paolo; Sergio GALVAN a Richard ZACH

Základní údaje

Originální název

An introduction to proof theory : normalization, cult-elimination, and consistency proofs

Autoři

MANCOSU, Paolo; Sergio GALVAN a Richard ZACH

Vydání

First edition. Oxford, xii, 418, 2021

Nakladatel

Oxford University Press

Další údaje

Označené pro přenos do RIV

ISBN

9780192895936

Změněno: 2. 3. 2026 07:47, Záznam byl importován z knihovního systému.

MANCOSU, Paolo; Sergio GALVAN a Richard ZACH. An introduction to proof theory : normalization, cult-elimination, and consistency proofs. First edition. Oxford: Oxford University Press, 2021, xii, 418. ISBN 9780192895936.

@article{,
   author = {Mancosu, Paolo and Galvan, Sergio and Zach, Richard},
   address = {Oxford},
   edition = {First edition},
   location = {Oxford},
   isbn = {9780192895936},
   publisher = {Oxford University Press},
   title = {An introduction to proof theory : normalization, cult-elimination, and consistency proofs},
   year = {2021}
}

TY  - JOUR
AU  - Mancosu, Paolo - Galvan, Sergio - Zach, Richard
PY  - 2021
TI  - An introduction to proof theory : normalization, cult-elimination, and consistency proofs
PB  - Oxford University Press
CY  - Oxford
SN  - 9780192895936
ER  -

MANCOSU, Paolo; Sergio GALVAN a Richard ZACH. \textit{An introduction to proof theory : normalization, cult-elimination, and consistency proofs}. First edition. Oxford: Oxford University Press, 2021, xii, 418. ISBN~9780192895936.