Proof Analysis: A Contribution to Hilbert's Last Problem (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens filosofi
  7. Proof Analysis: A Contribution to Hilbert's Last Problem

Proof Analysis: A Contribution to Hilbert's Last Problem

(Bog, Paperback / softback, Engelsk)
Forfattere: Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato
Proof Analysis: A Contribution to Hilbert's Last Problem
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

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

Beskrivelse

A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 12-06-2014
Første udgivelsesår 2014
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 278
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 278 pages, Worked examples or Exercises
Mål 246 x 172 x 18
ISBN-13 / EAN-13 9781107417236