Norges billigste bøker

Predicative Arithmetic. (MN-32)

Om Predicative Arithmetic. (MN-32)

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

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780691610290
  • Bindende:
  • Paperback
  • Sider:
  • 200
  • Utgitt:
  • 14 juli 2014
  • Dimensjoner:
  • 152x229x11 mm.
  • Vekt:
  • 28 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 8 august 2024

Beskrivelse av Predicative Arithmetic. (MN-32)

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

Brukervurderinger av Predicative Arithmetic. (MN-32)



Finn lignende bøker
Boken Predicative Arithmetic. (MN-32) finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.