LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Studies in Weak Arithmetics

Language EnglishEnglish
Book Paperback
Book Studies in Weak Arithmetics Patrick Cegielski
Libristo code: 06256998
The field of weak arithmetics is an application of logical methods to number theory that was develop... Full description
? points 110 b
16 039 Ft
In stock at our supplier Shipping in 14-20 days

Up to 30 days for returns


Customers also purchased


Markt China Dieter Kuhn / Book Hardback
common.buy 43 796 Ft
Chimie Tout-en-un MP/MP*-PT/PT* - 6e éd. Bruno Fosset / Book Paperback
common.buy 13 268 Ft
Fyzika I 2.díl Jarmila Davidová / Book Paperback
common.buy 1 754 Ft
Inversioni. Il museo come laboratorio Marco Isaia / Book Paperback
common.buy 9 692 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Studies in Weak Arithmetics
Language English
Binding Book - Paperback
Date of issue 2010
Number of pages 221
EAN 9781575866024
ISBN 9781575866024
Libristo code 06256998
Weight 304
Dimensions 152 x 229 x 13
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Comparative Constitutionalism and Good Governance in the Commonwealth John HatchardMuna NduloPeter Slinn / Book Hardback
common.buy 55 854 Ft
Intended for Evil Les Sillars / Book Paperback
common.buy 8 100 Ft
Plato as Critical Theorist Thakkar Jonny Thakkar / E-book Adobe ePub DRM
common.buy 20 651 Ft
Not Saying Goodbye Boris Akunin / Book Paperback
common.buy 4 483 Ft
International Morse Code (Instruction) (SPECIAL) United States Army / Book Paperback
common.buy 3 576 Ft
Redeemed! C. T. King / Book Paperback
common.buy 10 958 Ft
Coming soon
I, Mathematician Peter Cassaza / Book Paperback
common.buy 27 494 Ft
Firebird's Vengeance Sarah Zettel / Book Paperback
common.buy 5 693 Ft
Humility Bobb / Book Hardback
common.buy 8 786 Ft
Far from My Father Veronique Tadjo / Book Hardback
common.buy 27 614 Ft
Clinical Trials Dictionary Curtis L. Meinert / Book Hardback
common.buy 60 990 Ft
Victorian Radicals and Italian Democrats Marcella Pellegrino Sutcliffe / Book Hardback
common.buy 43 901 Ft
Cry To Heaven Anne Rice / Book Paperback
common.buy 11 690 Ft
Companion to Marx's Capital, Volume 2 David Harvey / Book Paperback
common.buy 14 304 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?