Structural Proof Theory (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Videnskabsfilosofi
  7. Structural Proof Theory

Structural Proof Theory

(Bog, Hardback, Engelsk)
Forfattere: Sara (University of Helsinki) Negri, Jan (University of Helsinki) von Plato
Structural Proof Theory
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 Matematisk logik Videnskabsfilosofi
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.

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 Hardback
Sprog Engelsk
Udgivelsesdato 18-06-2001
Første udgivelsesår 2001
Originalsprog United Kingdom
Sideantal 276
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 276 pages
Mål 235 x 160 x 21
ISBN-13 / EAN-13 9780521793070