Predicative Arithmetic

Paperback EN 2014 9780691610290
€ 57,02
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Samenvatting

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

Specificaties

ISBN13:9780691610290
Taal:EN
Bindwijze:Paperback
Aantal pagina's:200

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Managementboek Top 100

€ 57,02
Levertijd ongeveer 16 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Predicative Arithmetic