Subsystems of Second Order Arithmetic

Tapa de Subsystems of Second Order Arithmetic

Número de Cutter-SanbornS613sEntrada «Simps» → 613 · marca de obra “s”

Subsystems of Second Order Arithmetic

de Stephen G. Simpson

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

Materias

Predicate calculus

Ediciones (1)

Subsystems of Second Order Arithmetic (2009)
Cambridge University Press · inglés · ISBN 9780511579851

Más obras de Stephen G. Simpson

Tapa de Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic

Kurt Godel

Reverse Mathematics 2001

Ver todas las obras de Stephen G. Simpson →