Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Gordon and Breach Science Publishers, Amsterdam, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Bookworks [MWABA, IOBA], Beloit, WI, USA
Buch Erstausgabe
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.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: JuddSt.Pancras, London, Vereinigtes Königreich
Verbandsmitglied: PBFA
Buch Erstausgabe
Hardcover. Zustand: As New. 1st Edition.
Verlag: Gordon and Breach, Amsterdam, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Schürmann und Kiewning GbR, Naumburg, Deutschland
Buch
Hardcover/Pappeinband. Zustand: Sehr gut. x, 300 Seiten Sprache: Englisch Gewicht in Gramm: 650.
Verlag: CRC Press 2000-05-30, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Buch
Hardcover. Zustand: New.
Verlag: CRC Press 2000-05-30, Amsterdam :|Abingdon, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Blackwell's, London, Vereinigtes Königreich
Buch
hardback. Zustand: New. Language: ENG.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: PBShop.store US, Wood Dale, IL, USA
Buch Print-on-Demand
HRD. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: G & B Science Pub, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch Print-on-Demand
Hardcover. Zustand: Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: California Books, Miami, FL, USA
Buch
Zustand: New.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Buch Print-on-Demand
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.
Verlag: G & B Science Pub, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch
Hardcover. Zustand: Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
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.
Verlag: CRC Press, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Buch
Hardcover. Zustand: Like New. Like New. book.
Verlag: CRC Press Mai 2000, 2000
ISBN 10: 9056992686ISBN 13: 9789056992682
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Buch. Zustand: Neu. Neuware - 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.