Subsystems of second order arithmetic. Perspectives in Logic; 1.

Simpson, Stephen George:

ISBN 10: 052188439X / ISBN 13: 9780521884396

Editore: Cambridge, Cambridge University Press; Association for Symbolic Logic, 2010

Riguardo questo articolo

XVI, 444 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03623 9780521884396 Sprache: Englisch Gewicht in Gramm: 550.

Codice articolo 2513324

Dati bibliografici

• Titolo: Subsystems of second order arithmetic. Perspectives in Logic; 1.
• Editore: Cambridge, Cambridge University Press; Association for Symbolic Logic
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 052188439X
• ISBN 13: 9780521884396
• Rilegatura: Hardcover
• Edizione: 2nd edition, digitally printed version.
• Cataloghi dei venditori:
  • AA Varia

Descrizione articolo

Riassunto

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Informazioni sull?autore

Stephen G. Simpson is a mathematician and professor at Pennsylvania State University. The winner of the Grove Award for Interdisciplinary Research Initiation, Simpson specializes in research involving mathematical logic, foundations of mathematics, and combinatorics.