Logic of Arithmetic (Lectures on Mathematical Logic)

Felscher, Walter

ISBN 10: 0367398575 ISBN 13: 9780367398576

Verlag: CRC Press, 2019

Sprache: Englisch

Zustand: Neu Softcover

F�r sp�ter vormerken

Verkauft von Majestic Books, Hounslow, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 19. Januar 2007

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Neu

Preis: EUR 83,97 W�hrung umrechnen

EUR 10,12 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 3 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

pp. 312.

Bestandsnummer des Verk�ufers 379604474

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Logic of Arithmetic (Lectures on Mathematical Logic)
Verlag: CRC Press
Erscheinungsjahr: 2019
Sprache: Englisch
ISBN-10: 0367398575
ISBN-13: 9780367398576
Einband: Softcover
Zustand: New

�ber diesen Titel

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.

�ber die Autorin bzw. den Autor

Felscher, Walter

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We specialise in General Interest Books from South Asian countries.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BOOKS AND PERIODICALS AGENCY LTD
90 Barnet Gate Lane, Barnet, EN5 2AX, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Returns accepted if you are not satisfied with the Service or Book.

Versandbedingungen

Best packaging and fast delivery

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen