Für diesen Artikel ist leider kein Bild verfügbar.

Logic of Arithmetic (eBook)

eBook Download: PDF
2000
312 Seiten
CRC Press (Verlag)
978-1-4822-8301-3 (ISBN)
Systemvoraussetzungen
79,61 inkl. MwSt
  • Download sofort lieferbar
  • Zahlungsarten anzeigen
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 alg
Erscheint lt. Verlag 30.5.2000
Sprache englisch
Themenwelt Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 1-4822-8301-8 / 1482283018
ISBN-13 978-1-4822-8301-3 / 9781482283013
Haben Sie eine Frage zum Produkt?
PDFPDF (Adobe DRM)

Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine Adobe-ID und die Software Adobe Digital Editions (kostenlos). Von der Benutzung der OverDrive Media Console raten wir Ihnen ab. Erfahrungsgemäß treten hier gehäuft Probleme mit dem Adobe DRM auf.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine Adobe-ID sowie eine kostenlose App.
Geräteliste und zusätzliche Hinweise

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
An Introduction to Mathematical Proofs

von Antonella Cupillari

eBook Download (2023)
Elsevier Science (Verlag)
52,95
A Romance of Many Dimensions (By a Square)

von Edwin A. Abbott

eBook Download (2022)
Cedar Lake Classics (Verlag)
2,99