Predicative Arithmetic (Bog, Paperback / softback, Engelsk) af Edward Nelson
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Predicative Arithmetic

Predicative Arithmetic

(Bog, Paperback / softback, Engelsk)
Forfatter: Edward Nelson
Predicative Arithmetic
Forlag: Princeton 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

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

Beskrivelse

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy

Læsernes anmeldelser (0)

Alle detaljer

Forlag Princeton University Press
Forfatter Edward Nelson
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 14-07-2014
Første udgivelsesår 2014
Serie Mathematical Notes
Originalsprog United States
Sideantal 200
Indbinding Paperback / softback
Forlag Princeton University Press
Sideoplysninger 200 pages
Mål 229 x 152
ISBN-13 / EAN-13 9780691610290