Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by München, Oldenbourg, 1993
ISBN 10: 3486221132ISBN 13: 9783486221138
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Book
Hardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 93A1160 3486221132 Sprache: Deutsch Gewicht in Gramm: 600.
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015ISBN 13: 9781568813011
Seller: Broad Street Books, Branchville, NJ, U.S.A.
Book
Paperback. Condition: New. Brand New Book.
Published by A K Peters/CRC Press 13/07/2006, 2006
ISBN 10: 1568813015ISBN 13: 9781568813011
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Book
Paperback. Condition: Fine.
Published by München [u.a.], Oldenbourg., 1993
ISBN 10: 3486221132ISBN 13: 9783486221138
Seller: Augusta-Antiquariat GbR, Diedorf OT Biburg, Germany
Book
Band 1.5 24,5x17 cm. 193 S., Karton, bedruckt, Bibl.-Aufkleber. Unterer Rücken etwas fleckig. Uni-Bibl.-Band, sehr sauber, nur Titel-Rückseite Uni-Stempel. Das vorliegende Buch führt in die Theorie der Berechenbarkeit ein. Es beginnt mit der Theorie maschinenberechenbarer Funktionen und setzt diese in Zusammenhang mit rekursiven und lambda-definierten Funktionen.
gr.-8°, 193 S., OPp., mit einigen Randverm., insges. sehr sauber und gut. (= Handbuch der Informatik Bd. 1.5).
Published by Berlin; Heidelberg; New York; Springer., 1989
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Book
Paperback. 213 p.; 24 cm, Good condition. Sprache: Englisch Gewicht in Gramm: 470.
Published by Springer Nature (Sie), 2020
Seller: Books in my Basket, New Delhi, India
Book
Soft cover. Condition: New. ISBN:9783662600610.
Published by CRC Press 2006-07-13, Boca Raton, 2006
ISBN 10: 1568813015ISBN 13: 9781568813011
Seller: Blackwell's, London, United Kingdom
Book
paperback. Condition: New. Language: ENG.
Published by Springer, 1989
ISBN 10: 3540518428ISBN 13: 9783540518426
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Book
1st ed. 1989. 228 pages Ex-Library book in good condition. 9783540518426 Sprache: Englisch Gewicht in Gramm: 381.
Published by Oldenbourg, 1993
ISBN 10: 3486221132ISBN 13: 9783486221138
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book Print on Demand
Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Mathematische Grundlage der Informatik ist die Theorie der Berechenbarkeit. Das vorliegende Buch führt in die Theorie der Berechenbarkeit ein. Es beginnt mit der Theorie maschinenberechenbarer Funktionen und setzt diese in Zusammenhang mit rekursiven und lambda-definierten Funktionen. Dabei werden die Hauptergebnisse der klassischen Rekursionstheorie dargestellt. Ein Einblick in die Komplexitätstheorie und eine Zusammenstellung von Grundbegriffen der Graphentheorie runden das Buch ab.
Published by Taylor & Francis Inc, 2006
ISBN 10: 1568813015ISBN 13: 9781568813011
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Book
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by A K Peters Ltd, 2006
ISBN 10: 1568813015ISBN 13: 9781568813011
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: New. Book is in NEW condition. 1.46.
Published by Springer 2008-10, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813007ISBN 13: 9781568813004
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by CRC Press, 2006
ISBN 10: 1568813007ISBN 13: 9781568813004
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Book
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813007ISBN 13: 9781568813004
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: California Books, Miami, FL, U.S.A.
Book
Condition: New.
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer Okt 2008, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The kernel of this book consists of a series of lectures on in nitary proof theory which I gave during my time at the Westfalische Wilhelms-Universitat in Munster . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen's boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory ( -REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a rst step into impredicativity. The ordinal analysis of( -FXP) of non- 0 1 0 monotone -de nable inductive de nitions in Chapter 13 is an application of the 1 analysis of( -REF). 374 pp. Englisch.
Published by Springer, 2008
ISBN 10: 3540693181ISBN 13: 9783540693185
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813007ISBN 13: 9781568813004
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 1989
ISBN 10: 3540518428ISBN 13: 9783540518426
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear. 0.84.
Published by Springer, 1989
ISBN 10: 3540518428ISBN 13: 9783540518426
Seller: GF Books, Inc., Hawthorne, CA, U.S.A.
Book
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.84.
Published by Springer, 1989
ISBN 10: 3540518428ISBN 13: 9783540518426
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within 0.84.
Published by Springer, 1989
ISBN 10: 3540518428ISBN 13: 9783540518426
Seller: Books Unplugged, Amherst, NY, U.S.A.
Book
Condition: New. Buy with confidence! Book is in new, never-used condition 0.84.