1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Filosofi
  7. An Introduction to Proof Theory: Normalization,...

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

(Bog, Paperback / softback, Engelsk)
Forfattere: Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu, Sergio (Emeritus Professor of Logic Galvan, Richard (Professor of Philosophy Zach
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Forlag: Oxford University Press

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi Filosofi: logik Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfattere Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu, Sergio (Emeritus Professor of Logic Galvan, Richard (Professor of Philosophy Zach
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 17-08-2021
Første udgivelsesår 2021
Originalsprog United Kingdom
Sideantal 432
Indbinding Paperback / softback
Forlag Oxford University Press
Sideoplysninger 432 pages
Mål 157 x 233 x 26
ISBN-13 / EAN-13 9780192895943