Logic of Arithmetic: The Logic of Arithmetic: 003 (Lectures on Mathematical Logic) - Hardcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
Reseña del editor:
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.
Biografía del autor:
Felscher, Walter
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagCRC Press
- Erscheinungsdatum2000
- ISBN 10 9056992686
- ISBN 13 9789056992682
- EinbandTapa dura
- Auflage1
- Anzahl der Seiten312
Neu kaufen
Mehr zu diesem Angebot erfahren
EUR 114,36
Versand:
EUR 17,47
Von Vereinigtes Königreich nach USA
Beste Suchergebnisse bei AbeBooks
Beispielbild für diese ISBN
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
Verlag:
CRC Press 2000-05-30
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
Neu
Hardcover
Anzahl: 5
Anbieter:
Bewertung
Buchbeschreibung Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-TNFPD-9789056992682
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 114,36
Währung umrechnen
Beispielbild für diese ISBN
Logic of Arithmetic
Verlag:
CRC Press 2000-05-30, Amsterdam :|Abingdon
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
Neu
Hardcover
Anzahl: > 20
Anbieter:
Bewertung
Buchbeschreibung hardback. Zustand: New. Language: ENG. Bestandsnummer des Verkäufers 9789056992682
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 132,04
Währung umrechnen
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L1-9789056992682
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 156,63
Währung umrechnen
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9789056992682_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 146,56
Währung umrechnen
Beispielbild für diese ISBN
Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung Hardcover. Zustand: Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __9056992686
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 155,46
Währung umrechnen
Beispielbild für diese ISBN
Logic of Arithmetic (Lectures on Mathematical Logic)
Anbieter:
Bewertung
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers I-9789056992682
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 172,15
Währung umrechnen
Beispielbild für diese ISBN
Logic of Arithmetic
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung 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
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 153,21
Währung umrechnen
Foto des Verkäufers
Logic of Arithmetic
Print-on-Demand
Anbieter:
Bewertung
Buchbeschreibung 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 599121787
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Neu kaufen
EUR 145,75
Währung umrechnen