Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematikkens fundament
  6. Matematisk datateori
  7. Proof Theory: A selection of papers from the Leeds Proof...

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

(Bog, Hardback, Engelsk)
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
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

Matematikkens fundament Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 11-02-1993
Første udgivelsesår 1993
Fagredaktør Peter (University of Manchester) Aczel, Harold (University of Manchester) Simmons, Stanley S. (University of Leeds) Wainer
Originalsprog United Kingdom
Sideantal 320
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 320 pages
Mål 229 x 152 x 22
ISBN-13 / EAN-13 9780521414135