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: R1,929
Discovery Miles 19 290
Repayment Terms: R181 pm x 12*
Add to cart
Logic of Arithmetic (Paperback): Walter Felscher

Logic of Arithmetic (Paperback)

Walter Felscher

 (sign in to rate)
Loot Price R1,929 Discovery Miles 19 290 | Repayment Terms: R181 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 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 R108 Discovery Miles 1 080
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 R9,360 Discovery Miles 93 600
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 R710 Discovery Miles 7 100
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,394 Discovery Miles 13 940
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 R778 Discovery Miles 7 780
Naive Set Theory (Large print, Hardcover, Large type / large print edition): Paul R. Halmos
Naive Set Theory
Paul R. Halmos Hardcover R523 Discovery Miles 5 230
An Ontological and Epistemological Perspective of Fuzzy Set Theory (Hardcover): I. Burhan Turksen
An Ontological and Epistemological…
I. Burhan Turksen Hardcover R4,698 Discovery Miles 46 980
Units in Skew Fields (Hardcover): Ernst Kleinert
Units in Skew Fields
Ernst Kleinert Hardcover R2,375 Discovery Miles 23 750
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,215 Discovery Miles 12 150
Set Theory and its Philosophy - A Critical Introduction (Hardcover): Michael Potter
Set Theory and its Philosophy - A…
Michael Potter Hardcover R4,573 Discovery Miles 45 730
Algebraic Methods in General Rough Sets (Hardcover, 1st ed. 2018): aMani, Gianpiero Cattaneo, Ivo Duntsch
Algebraic Methods in General Rough Sets
aMani, Gianpiero Cattaneo, … Hardcover R3,483 Discovery Miles 34 830
The Foundations of Mathematics (Hardcover, 2nd Revised edition): Ian Stewart, David Tall
The Foundations of Mathematics
Ian Stewart, David Tall Hardcover R2,374 Discovery Miles 23 740

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