Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory

Buy Now

Logic of Arithmetic (Paperback) Loot Price: R2,086
Discovery Miles 20 860
Repayment Terms: R195 pm x 12*
Add to cart
Logic of Arithmetic (Paperback): Walter Felscher

Logic of Arithmetic (Paperback)

Walter Felscher

 (sign in to rate)
Loot Price R2,086 Discovery Miles 20 860 | Repayment Terms: R195 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.

General

Imprint: Crc Press
Country of origin: United Kingdom
Release date: September 2019
First published: 2000
Authors: Walter Felscher
Dimensions: 229 x 152mm (L x W)
Format: Paperback
Pages: 312
ISBN-13: 978-0-367-39857-6
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
Promotions
LSN: 0-367-39857-5
Barcode: 9780367398576

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R85 Discovery Miles 850
Handbook of Research on Generalized and Hybrid Set Structures and Applications for Soft Computing (Hardcover): Sunil Jacob John
Handbook of Research on Generalized and…
Sunil Jacob John Hardcover R10,685 Discovery Miles 106 850
The Story of Our Life, Based on a True Life (Hardcover): Bubba His X Mark Twain
The Story of Our Life, Based on a True…
Bubba His X Mark Twain Hardcover R818 Discovery Miles 8 180
An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities (Hardcover):...
An Investigation of the Laws of Thought…
George Boole Hardcover R763 Discovery Miles 7 630
Unified Logic - How to Divide by Zero, Solve the Liar's Paradox, and Understand the Nature of Truth (Hardcover): Jesse...
Unified Logic - How to Divide by Zero…
Jesse Bollinger Hardcover R1,581 Discovery Miles 15 810
Naive Set Theory (Large print, Hardcover, Large type / large print edition): Paul R. Halmos
Naive Set Theory
Paul R. Halmos Hardcover R561 Discovery Miles 5 610
An Ontological and Epistemological Perspective of Fuzzy Set Theory (Hardcover): I. Burhan Turksen
An Ontological and Epistemological…
I. Burhan Turksen Hardcover R5,091 Discovery Miles 50 910
Computable Structure Theory - Within the Arithmetic (Hardcover): Antonio Montalban
Computable Structure Theory - Within the…
Antonio Montalban Hardcover R3,461 Discovery Miles 34 610
Units in Skew Fields (Hardcover): Ernst Kleinert
Units in Skew Fields
Ernst Kleinert Hardcover R2,624 Discovery Miles 26 240
Computability - Computable Functions, Logic, and the Foundations of Mathematics (Hardcover): Richard L. Epstein, Walter A....
Computability - Computable Functions…
Richard L. Epstein, Walter A. Carnielli Hardcover R1,377 Discovery Miles 13 770
Non-Classical Logics and Their Applications to Fuzzy Subsets - Handbook of the Mathematical Foundations of Fuzzy Set Theory...
Non-Classical Logics and Their…
Ulrich Hohle, Erich Peter Klement Hardcover R2,669 Discovery Miles 26 690
Set Theory and its Philosophy - A Critical Introduction (Hardcover): Michael Potter
Set Theory and its Philosophy - A…
Michael Potter Hardcover R4,955 Discovery Miles 49 550

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners