Metamathematics of First-Order Arithmetic

AvPetr Hajek,Pavel Pudlak

Häftad, Engelska, 1998

1 378 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

In the late 19th century mathematicians such as Grassmann, Frege and Dedekind gave definitions for numbers. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. The aim of this book is to cover the study of a first order theory of the natural numbers, called Peano arithmetic and its fragments (subtheories).

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Algebra VII

D.J. Collins, R.I. Grigorchuk, P.F. Kurchanov, H. Zieschang, A.I. Kostrikin, I.R. Shafarevich

Häftad

1 062 kr