Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Studies in Weak Arithmetics
Engels
109 b
Tot 30 dagen retourrecht
Klanten kochten ook
/
Gebonden (paperback)
70.90
€
The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey on a class of tools called pebble games; the fact that the reals "e" and pi have approximations expressed by first-order formulas using bounded quantifiers; properties of infinite pictures depending on the universe of sets used; a language that simulates in a sufficiently nice manner all algorithms of a certain restricted class; the logical complexity of the axiom of infinity in some variants of set theory without the axiom of foundation; and the complexity to determine whether a trace is included in another one.
Informatie over het boek
Engels
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (harde band)
146.85
€
/
Gebonden (paperback)
15.52
€
/
Gebonden (paperback)
22.08
€
/
Gebonden (paperback)
20.67
€
/
Gebonden (paperback)
13.00
€
/
Gebonden (paperback)
24.30
€
/
Gebonden (paperback)
41.24
€
/
Gebonden (harde band)
123.75
€
/
Gebonden (harde band)
161.17
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?