Edward Nelson
Princeton University Press
e druk, 2016
9780691638423
Predicative Arithmetic
Specificaties
Gebonden, 200 blz.
|
EN
Princeton University Press |
e druk, 2016
ISBN13: 9780691638423
Rubricering
Juridisch
:
Onderdeel van serie
Princeton Legacy Library
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:9780691638423
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:200
Uitgever:Princeton University Press
Serie:Princeton Legacy Library
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht