Marek Apt (21 results)
- Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 53.75
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
- More images
Published by Amsterdam - 1974, 1974
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 23.47
US$ 17.32 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1974, in-8, broché, 243 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre artic…le.
Second Order Arithmetic and Related Topics (in) Annals of Mathematical Logic, Volume 6, Numbers 3 &4, March 1974
Apt, K. R.; & W. Marek; (edited by C.C. Chang; A. Mostowski; et al); [from the library of Alonzo Church]
Published by North-Holland Publishing Company, Amsterdam, 1974
- Softcover
- First Edition
Seller: About Books, Henderson, NV, U.S.A.About Books
Contact seller5-star sellerCondition: Used - Very good
US$ 39.95
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Very Good condition. First Edition. Amsterdam: North-Holland Publishing Company, 1974. Very Good condition. A solid copy -- clean and tight. Bound in the original yellow wrappers, with the spine color uniformly sun-faded to a shade of off-white. Black lettering on the spine remains clear and distinct. Pages… are clean. NO underlining. NO highlighting. NO margin notes. Softcover. 16.5 cm wide by 24 cm tall. Among 6 articles in this issue is SECOND ORDER ARITHMETIC AND RELATED TOPICS by K. R. Apt & W. Marek. This is one of several dozen books and periodicals from Alonzo Church's library that we were lucky enough to purchase at auction in New Jersey. Several of the books contain his signature, or a presentation inscription to him. Unfortunately, this copy does not have those signs of his ownership. [But please check our inventory for several others that do]. Alonzo Church (1903 - 1995) was professor of mathematics at Princeton University (1929-1967) and of mathematics and philosophy at UCLA (1967-1990). He was the founding editor of the JOURNAL OF SYMBOLIC LOGIC. Among his most influential contributions are Church's Theorem, Church's Thesis, and the Lambda Calculus. His work was of major importance in mathematical logic, recursion theory, theoretical computer science, and functional programming languages in general. Professor Church's creation of lambda calculus was the foundation for the LISP programming language and provided the semantic model for ALGOL. He was elected to the National Academy of Sciences, British Academy, and the American Academy of Arts and Sciences. Church is regarded by many as the greatest American logician of the 20th century. [For more on Church's contributions, see items 250, 251, 321, 394, and 533 in Hook and Norman's ORIGINS OF CYBERSPACE, A LIBRARY ON THE HISTORY OF COMPUTING.]. First Edition. Softcover. Very Good condition. pp. 177-423 + 4 pages of ads. Great Packaging, Fast Shipping.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 76.35
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 76.35
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
US$ 101.30
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 456 1st Edition.
- Hardcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
US$ 100.11
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 456.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
US$ 105.37
US$ 11.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 456.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 133.24
US$ 16.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Hardcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 118.27
US$ 33.38 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 166.76
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 480.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 111.80
US$ 79.77 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Logic Programming Paradigm | A 25-Year Perspective | Krzysztof R. Apt (u. a.) | Taschenbuch | Artificial Intelligence | xvi | Englisch | 2011 | Springer | EAN 9783642642494 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]spri…nger[dot]com | Anbieter: preigu.
- More images
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 134.22
US$ 72.48 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions to the book…deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the 'formulas as types' approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 209.03
US$ 33.38 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 101.22
US$ 7.75 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Softcover
- Print on Demand
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 111.20
Free ShippingShips within U.S.A.Quantity: 10 available
Condition: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- More images
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 125.57
US$ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book are all leading world experts in Log…ic Programming, and they deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the 'formulas as types' approach, program semantics and analysis, and natural language processing. XXXXXXX Neuer Text Logic Programming was founded 25 years ago. This exciting book reveals both the evolution of this programming paradigm and its impressively broad scope of current research. The contributions by leading computer scientists deal with both theoretical and practical issues. They address diverse topics such as: computational molecular biology, machine learning, mobile computing, multi-agent systems, numerical computing and dynamical systems, database systems, program semantics, natural language processing, and promising future directions. 480 pp. Englisch.
- More images
The Logic Programming Paradigm
Apt, Krzysztof R.|Marek, Victor W.|Truszczynski, Mirek|Warren, David S.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 108.30
US$ 55.82 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A 25-year survey of the evolution and achievements of a major new programming paradigm Including latest results and promising future developments Written by leading world experts in Logic ProgrammingA 25-year survey o…f the evolution and achievements .
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 172.02
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 480 57 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 182.56
US$ 11.34 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 480.
- More images
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 125.57
US$ 68.37 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in Logic Programming. The contributions…to the book deal with both theoretical and practical issues. They address such diverse topics as: computational molecular biology, machine learning, mobile computing, multi-agent systems, planning, numerical computing and dynamical systems, database systems, an alternative to the 'formulas as types' approach, program semantics and analysis, and natural language processing. The contributors are all leading world experts in Logic Programming and their contributions were all invited and refereed.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 480 pp. Englisch.







