Logic of Arithmetic by Walter Felscher (2000, Hardcover) online kaufen

Über dieses Produkt

Product Identifiers

PublisherCRC Press LLC

ISBN-109056992686

ISBN-139789056992682

eBay Product ID (ePID)1692417

Product Key Features

Number of Pages312 Pages

Publication NameLogic of Arithmetic

LanguageEnglish

Publication Year2000

SubjectGeneral, Set Theory, Logic

TypeTextbook

AuthorWalter Felscher

Subject AreaMathematics

FormatHardcover

Dimensions

Item Height1 in

Item Weight24.4 Oz

Item Length9.5 in

Item Width7.7 in

Additional Product Features

Edition Number3

Intended AudienceCollege Audience

LCCN2002-421346

Dewey Edition23

Volume NumberVol. 3

IllustratedYes

Dewey Decimal511.3

Table Of Content1. Consistency, Decidability, Completeness for the Arithmetic of Order with Successor 2. Consistency, Decidability, Completeness for the Arithmetic of Addition and Order 3. Antinomies, Pseudomenos, and Their Analysis 4. Undefinability and Incompleteness, General Theory 5.Elementary and Primitive Recursive Functions 6. Recursive Relations and Recursive Functions 7. The Arithmitization of Syntax 8. Consequences of Arithmetization 9. Axioms for Arithmetic 10. Peano Arithmetic PA and Its Expansion PR 11. Unprovability of Consistency

SynopsisFor 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.

LC Classification NumberQA9.2.F45 2000