- 0 resultaten
laagste prijs: € 103,82, hoogste prijs: € 309,52, gemiddelde prijs: € 163,80
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic) - Walter Felscher
bij AbeBooks.de
€ 103,82
verzending: € 28,94
Walter Felscher:

003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic) - nieuw boek

2000, ISBN: 9056992686

[EAN: 9789056992682], Neubuch, [PU: CRC Press 2000-05-30], Brand new book, sourced directly from publisher. Dispatch time is 4-5 working days from our warehouse. Book will be sent in robu… Meer...

NEW BOOK. Verzendingskosten: EUR 28.94 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
bij Biblio.com
$ 350,41
(ongeveer € 309,52)
verzending: € 14,72

Walter Felscher:

Logic of Arithmetic (Lectures on Mathematical Logic) - gebruikt boek

2000, ISBN: 9789056992682

2000-05-30. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling b… Meer...

Verzendingskosten: EUR 14.72 Books Express
bij Biblio.com
$ 191,22
(ongeveer € 168,91)
verzending: € 11,48
Walter Felscher:
Logic of Arithmetic (Lectures on Mathematical Logic) - gebonden uitgave, pocketboek


ISBN: 9789056992682

CRC Press, 2000-05-30. Hardcover. Used:Good., CRC Press, 2000-05-30

Verzendingskosten: EUR 11.48 Ergodebooks
Betaalde advertentie
Logic of Arithmetic - Walter Felscher
bij lehmanns.de
€ 115,90
verzending: € 0,00
Walter Felscher:
Logic of Arithmetic - gebonden uitgave, pocketboek

2000, ISBN: 9789056992682

Hardcover, Buch, [PU: Taylor & Francis Ltd]

Verzendingskosten:Versand in 10-15 Tagen (Lieferung nach Weihnachten), , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Logic of Arithmetic - Walter Felscher
bij Rakuten.fr
€ 120,83
verzending: € 11,00
Walter Felscher:
Logic of Arithmetic - gebruikt boek

ISBN: 9789056992682


2 Offers. Verzendingskosten:France. (EUR 11.00) Priceminister

Bijzonderheden over het boek
Logic of Arithmetic

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 (Presburger arithmetic); it makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments. Stronger fragments of arithmetic, also containing multiplication, are sufficiently rich to express a primitive recursive encoding of terms, formulas and deductions, and this leads to Godel's theorem exhibiting statements already undecidable in these fragments. Its central idea, isolated in Tarski's fixpoint lemma, has a certain analogy with Eubulides' antinomy of the Liar, and in a non-technical chapter, accessible to a wider class of readers, this analogy is exploited for an informal discussion of undefinability and incompleteness. The technical tools required to verify the hypotheses on arithmetical representability, on the other hand, are collected in an independent presentation of recursive functions and relations. For the theory Peano Arithmetic (PA) of full arithmetic with induction it is shown that its extension PR by function symbols for primitive recursive functions is conservative. Thus PR permits us to speak about the encoding of PA itself, and this, essentially, with free variable formulas. This makes it possible to verify the Bernays-Lob provability conditions which entail Godels theorem about the unprovability in PR of the encoded form of statements expressing the consistency of PA.

Gedetalleerde informatie over het boek. - Logic of Arithmetic

EAN (ISBN-13): 9789056992682
ISBN (ISBN-10): 9056992686
Gebonden uitgave
Verschijningsjaar: 2000
Uitgever: Taylor & Francis Ltd
312 Bladzijden
Gewicht: 0,676 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-01-07T00:25:51+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2020-12-13T22:29:43+01:00 (Amsterdam)
ISBN/EAN: 9056992686

ISBN - alternatieve schrijfwijzen:
90-5699-268-6, 978-90-5699-268-2

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781482283013 Logic of Arithmetic (Walter Felscher)

< naar Archief...