Order Total (1 Item Items):
Shipping Destination:
Sernadas a Sernadas (22 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (22)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (17)
- As New, Fine or Near Fine (1)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (13)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
paperback. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Information Systems: Theoretical and Formal Aspects
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 236 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, GB, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
Information Systems: Theoretical and Formal Aspects
Language: English
Published by Elsevier Science Publishers B. V., Amsterdam, The Netherlands, 1985
ISBN 10: 0444877061 ISBN 13: 9780444877062
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Hardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. First Edition. Proceedings of the IFIP WG 8.1 Working Conference on Theretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April, 1985. Hardcover with lightly bumped head of spine. Book-plate on inside front cover. Pages are lightly tanned.Text remains clear, and pages are tight throughout. Printed boards. No dust jacket. T. Used.
-
Foundations of Logic and Theory of Computation (Paperback or Softback)
Language: English
Published by College Publications 3/17/2008, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Paperback or Softback. Condition: New. Foundations of Logic and Theory of Computation. Book.
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Condition: New.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications 2008-03, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
PF. Condition: New.
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 20.06
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Condition: New.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Condition: New. KlappentextThe book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert s programme for the f.
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Paperback. Condition: Like New. Like New. book.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, GB, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Paperback. Condition: New.
-
Foundations of Logic and Theory of Computation Texts in Computing
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Logic and Theory of Computation Texts in Computing
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
£ 20.12
£ 5.02 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Condition: New. Print on Demand pp. 344 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Condition: New. Print on Demand pp. 344.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The book provides a self-contained introduction to mathematical logic and computability theory for students of mathematics or computer science. It is organized around the failures and successes of Hilbert's programme for the formalization of Mathematics. It is widely known that the programme failed with Gödel's incompleteness theorems and related negative results about arithmetic. Unfortunately, the positive outcomes of the programme are less well known, even among mathematicians. The book covers key successes, like Gödel's proof of the completeness of first-order logic, Gentzen's proof of its consistency by purely symbolic means, and the decidability of a couple of useful theories. The book also tries to convey the message that Hilbert's programme made a significant contribution to the advent of the computer as it is nowadays understood and, thus, to the latest industrial revolution.Part I of the book addresses Hilbert's programme and computability. Part II presents first-order logic, including Gödel's completeness theorem and Gentzen's consistency theorem. Part III is focused on arithmetic, representability of computable maps, Gödel's incompleteness theorems and decidability of Presburger arithmetic. Part IV provides detailed answers to selected exercises.The book can be used at late undergraduate level or early graduate level. An undergraduate course would concentrate on Parts I and II, leaving out the Gentzen calculus, and sketching the way to the 1st incompleteness theorem. A more advanced course might skip early material already known to the students and concentrate on the positive and negative results of Hilbert's programme, thus covering Gentzen's proof of consistency and Part III in full.
-
A Mathematical Primer on Computability
Language: English
Published by College Publications, 2018
ISBN 10: 1848902964 ISBN 13: 9781848902961
Taschenbuch. Condition: Neu. A Mathematical Primer on Computability | Amilcar Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2018 | College Publications | EAN 9781848902961 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Foundations of Logic and Theory of Computation
Language: English
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Taschenbuch. Condition: Neu. Foundations of Logic and Theory of Computation | A. Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2008 | College Publications | EAN 9781904987888 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
Fundamentos de L Gica E Teoria Da Computa O
Language: Portuguese
Published by College Publications, 2012
ISBN 10: 1848900813 ISBN 13: 9781848900813
Taschenbuch. Condition: Neu. Fundamentos de L Gica E Teoria Da Computa O | Am Lcar Sernadas (u. a.) | Taschenbuch | Kartoniert / Broschiert | Portugiesisch | 2012 | College Publications | EAN 9781848900813 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
