1. Forside
  2. Bøger
  3. Engelske bøger
  4. Filosofi: logik
  5. Matematisk logik
  6. Regning og matematisk analyse
  7. Complexity of Proofs and Their Transformations in Axiomatic...

Complexity of Proofs and Their Transformations in Axiomatic Theories

(Bog, Hardback, Engelsk)
Forfatter: American Mathematical Society
Complexity of Proofs and Their Transformations in Axiomatic Theories
Forlag: American Mathematical Society

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 Regning og matematisk analyse
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Intends to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories.

Læsernes anmeldelser (0)

Alle detaljer

Forlag American Mathematical Society
Forfatter American Mathematical Society
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 30-10-1993
Første udgivelsesår 1993
Serie Translations of Mathematical Monographs
Originalsprog United States
Sideantal 153
Indbinding Hardback
Forlag American Mathematical Society
Sideoplysninger 153 pages
ISBN-13 / EAN-13 9780821845769