Order Total (1 Item Items):
Shipping Destination:
Computation Theory Logic (85 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (85)
- 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
Binding
Collectible Attributes
- First Edition (3)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (23)
- Not Print on Demand (74)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics, 1104)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. 475 pp., paperback, fine. - 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.
More buying choices from other sellers on AbeBooks
New offers from US$ 69.37
Used offers from US$ 11.21
Also find Softcover
-
Computation Engineering: Applied Automata Theory and Logic
Published by Springer (edition 2006), 2006
ISBN 10: 0387244182 ISBN 13: 9780387244181
Language: English
Hardcover. Condition: Very Good. 2006. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
More buying choices from other sellers on AbeBooks
New offers from US$ 39.84
Used offers from US$ 26.52
Also find Hardcover First Edition
-
Lecture Notes in Computer Science, Volume 270: Computation Theory and Logic
Published by Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540181709 ISBN 13: 9783540181705
Language: English
First Edition
Paperback. Condition: Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library.
More buying choices from other sellers on AbeBooks
New offers from US$ 63.99
Used offers from US$ 28.50
Also find Softcover First Edition
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Foundations of Logic and Theory of Computation (Texts in Computing)
Published by College Publications, 2008
ISBN 10: 1904987885 ISBN 13: 9781904987888
Language: English
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 19.87
Convert currencyUS$ 14.14 shipping from United Kingdom to U.S.A.Quantity: 4 available
Add to basketCondition: 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.
More buying choices from other sellers on AbeBooks
New offers from US$ 30.78
Used offers from US$ 34.01
Also find Softcover
-
Computation Theory and Logic.
Published by Berlin ua Springer 1987, 1987
ISBN 10: 3540181709 ISBN 13: 9783540181705
Language: English
Seller: Dieter Eckert, Bremen, Germany
Association Member: GIAQ ILAB VDA
Seller rating 5 out of 5 stars
First Edition
US$ 20.97
Convert currencyUS$ 52.38 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketIX,442 S. Orig.-Karton. Erste Ausgabe.- (= Lecture Notes in Computer Science - Vol. 270).- Gutes Exemplar.
-
Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory
Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. Text clean and tight; no dust jacket; Trends In Logic; 8vo 8" - 9" tall; 391 pages.
More buying choices from other sellers on AbeBooks
New offers from US$ 247.96
Used offers from US$ 113.50
Also find Hardcover
-
Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 (Semantics Structures in Computation, 3)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. 209 pp., Hardcover, new. - 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. Photos available upon request.
More buying choices from other sellers on AbeBooks
New offers from US$ 118.18
Used offers from US$ 330.30
Also find Hardcover
-
Computation Engineering: Applied Automata Theory And Logic
Published by Springer, 2006
Language: English
US$ 103.61
Convert currencyUS$ 15.84 shipping from India to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: New. ISBN:9780387244181.
-
US$ 131.39
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from US$ 135.38
Used offers from US$ 208.46
Also find Softcover
-
US$ 25.63
Convert currencyUS$ 50.91 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Lecture Notes in Computer Science - Vol. 270. 442 S. OBrosch. Sprache: Englisch, Schnitt minimal gebräunt; Besitzvermerk auf Titelblatt; sonst guter Zustand! Keine Anstreichungen! 600 Gramm. Buch.
-
US$ 209.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Published by Springer Netherlands, 2010
ISBN 10: 9048165237 ISBN 13: 9789048165230
Language: English
US$ 194.74
Convert currencyUS$ 33.53 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Domains are mathematical structures for information and approximation; they combine order-theoretic, logical, and topological ideas and provide a natural framework for modelling and reasoning about computation. The theory of domains has proved to be a useful tool for programming languages and other areas of computer science, and for applications in mathematics. Included in this proceedings volume are selected papers of original research presented at the 2nd International Symposium on Domain Theory in Chengdu, China. With authors from France, Germany, Great Britain, Ireland, Mexico, and China, the papers cover the latest research in these sub-areas: domains and computation, topology and convergence, domains, lattices, and continuity, and representations of domains as event and logical structures. Researchers and students in theoretical computer science should find this a valuable source of reference. The survey papers at the beginning should be of particular interest to those who wish to gain an understanding of some general ideas and techniques in this area.
More buying choices from other sellers on AbeBooks
New offers from US$ 214.07
Used offers from US$ 291.97
Also find Softcover
-
US$ 28.32
Convert currencyUS$ 27.15 shipping from Spain to U.S.A.Quantity: 1 available
Add to basketCondition: Normal. Austrian Ministry for Science and Research. Salzburg 1983 21,5 x 14 cm., 229 pag. 4: AXIOMATIC SET THEORY. Y: FOUNDATIONS OF PROBABILITY AND INTRODUCTION. Tapa blanda; buen estado de conservacion. FILOSOFIA-PENSAMIENTO CIENCIAS . Ejemplares disponibles: 1 Normal.
-
US$ 98.89
Convert currencyUS$ 15.84 shipping from India to U.S.A.Quantity: 1 available
Add to basketN.A. Condition: New. ISBN:9780387244181.
