Verwandte Artikel zu Logic of Arithmetic: The Logic of Arithmetic (Lectures...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Felscher, Walter
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Logic of Arithmetic: The Logic of Arithmetic (Lectures...
Foto des Verkäufers
Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
Verlag:
Gordon and Breach Science Publishers, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Gebraucht
Hardcover
Erstausgabe
Anbieter: Bookworks [MWABA, IOBA], Beloit, WI, USA
Verkäuferbewertung 5 von 5 Sternen
Hard Cover. Zustand: Very Good. No Jacket. First Edition. Third only of a series of volumes of lectures on mathematical theory intended for mature students & lecturers, this discussing "various properties of the arithmetic of natural numbers" including "decidability and undecidability, completeness and incompleteness, consistency and the limitations to establish it." Felscher was a notable lecturer at the University of Tübingen. Hardcover, as pictured; no jacket, as issued. Light wear to book; minor scuffing, small nick to front hinge groove. Text clean; x, 300 pages; index, references, plenty of equations. Size: Octavo. Bestandsnummer des Verkäufers u0419
Gebraucht kaufen
EUR 75,63
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: -OnTimeBooks-, Phoenix, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Bestandsnummer des Verkäufers OTV.9056992686.G
Gebraucht kaufen
EUR 88,08
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 312. Bestandsnummer des Verkäufers 262520114
Neu kaufen
EUR 194,18
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Lectures on Mathematical Logic : The Logic of Arithmetic
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 926405-n
Neu kaufen
EUR 195,37
EUR 2,28 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 312 This item is printed on demand. Bestandsnummer des Verkäufers 5360621
Neu kaufen
EUR 191,98
EUR 7,60 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9789056992682
Neu kaufen
EUR 213,54
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 312. Bestandsnummer des Verkäufers 182520120
Neu kaufen
EUR 206,14
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9789056992682
Neu kaufen
EUR 217,35
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9789056992682
Neu kaufen
EUR 211,97
EUR 5,87 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Lectures on Mathematical Logic : The Logic of Arithmetic
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 926405-n
Neu kaufen
EUR 201,82
EUR 17,54 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar