A first course in logic : an introduction to model theory,
proof theory, computability, and complexity

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

2004

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

HEDMAN, Shawn

Základní údaje

Originální název

A first course in logic : an introduction to model theory, proof theory, computability, and complexity

Autoři

HEDMAN, Shawn

Vydání

Oxford, xx, 431, 2004

Nakladatel

Oxford University Press

Další údaje

Označené pro přenos do RIV

ISBN

9780198529811

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

HEDMAN, Shawn. A first course in logic : an introduction to model theory, proof theory, computability, and complexity. Oxford: Oxford University Press, 2004, xx, 431. ISBN 9780198529811.

@article{,
   author = {Hedman, Shawn},
   address = {Oxford},
   location = {Oxford},
   isbn = {9780198529811},
   publisher = {Oxford University Press},
   title = {A first course in logic : an introduction to model theory, proof theory, computability, and complexity},
   year = {2004}
}

TY  - JOUR
AU  - Hedman, Shawn
PY  - 2004
TI  - A first course in logic : an introduction to model theory, proof theory, computability, and complexity
PB  - Oxford University Press
CY  - Oxford
SN  - 9780198529811
ER  -

HEDMAN, Shawn. \textit{A first course in logic : an introduction to model theory, proof theory, computability, and complexity}. Oxford: Oxford University Press, 2004, xx, 431. ISBN~9780198529811.