Subsystems of Second Order Arithmetic

Perspectives in Logic

Akcijos kaina €163,00 Įprasta kaina €207,01
Liko 1 vnt.

NEMOKAMAS pristatymas

464 psl.

2009 m.

Kietas viršelis

Brūkšninis kodas: 9780521884396
Aprašymas

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.