Verwandte Artikel zu Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Inhaltsangabe
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 74,28
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Foto des Verkäufers
Felscher, W: Logic of Arithmetic
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Felscher, WalterFor 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 expre. Bestandsnummer des Verkäufers 594579387
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 312 pages. 9.02x5.98x0.67 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0367398575
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 312. Bestandsnummer des Verkäufers 379604474
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic
Verlag:
Taylor & Francis Ltd, 2019
ISBN 10: 0367398575
ISBN 13: 9780367398576
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days. 580. Bestandsnummer des Verkäufers B9780367398576
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 312. Bestandsnummer des Verkäufers 26383250981
Anzahl: 3 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 312. Bestandsnummer des Verkäufers 18383250991
Anzahl: 3 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
PAP. 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 L0-9780367398576
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780367398576_new
Anzahl: Mehr als 20 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
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9780367398576
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic of Arithmetic
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 37659200
Anzahl: Mehr als 20 verfügbar