Subsystems of Second Order Arithmetic : Perspectives in Logic
Simpson, Stephen G.
ISBN 10: 0521150140 ISBN 13: 9780521150149
Verlag: Cambridge University Press, 2010
Neu
Softcover
Verkäufer
GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 28. Januar 2020
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Bestandsnummer des Verkäufers 8314033-n
Inhaltsangabe:
What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.
Über die Autorin bzw. den Autor: Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Subsystems of Second Order Arithmetic : ...
Verlag: Cambridge University Press
Erscheinungsdatum: 2010
Einband: Softcover
Zustand: New
Auflage: 2. Auflage
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Verlag:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Gebraucht
Softcover
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships USPS Media Mail. Bestandsnummer des Verkäufers OTV.0521150140.VG
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Anbieter: GoldBooks, Denver, CO, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers 10G61_59_0521150140
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Anbieter: Best Price, Torrance, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. SUPER FAST SHIPPING. Bestandsnummer des Verkäufers 9780521150149
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2215580245491
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic: Second Edition (Perspectives in Logic)
Verlag:
Cambridge University Press 2010-02-18, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521150149
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521150149_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic: Perspectives in Logic
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 464 pages. 9.21x6.14x1.05 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521150140
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic
Verlag:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 689. Bestandsnummer des Verkäufers C9780521150149
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Neu
Paperback
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic. Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Bestandsnummer des Verkäufers 9780521150149
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Subsystems of Second Order Arithmetic (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic. Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9780521150149
Anzahl: 1 verfügbar