Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ― including algorithms and epitheory ― and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
"synopsis" may belong to another edition of this title.
Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.
"About this title" may belong to another edition of this title.
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.
Condition: good. The book is in good condition with all pages and cover intact, including the dust jacket if originally issued. The spine may show light wear. Pages may contain some notes or highlighting, and there might be a "From the library of" label. Boxed set packaging, shrink wrap, or included media like CDs may be missing. Seller Inventory # BSM.1CNKH
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Very Good. 2. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 0486634620-11-1
Seller: HPB Inc., Dallas, TX, U.S.A.
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! Seller Inventory # S_481607064
Seller: Evergreen Goodwill, Seattle, WA, U.S.A.
paperback. Condition: Good. Seller Inventory # mon0000791711
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Seller Inventory # G0486634620I3N00
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 11540370-20
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Seller Inventory # 030454
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New. Brand New. Seller Inventory # 9780486634623
Seller: Wm Burgett Bks and Collectibles, San diego, CA, U.S.A.
Soft cover. Condition: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall. Seller Inventory # 020041
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Seller Inventory # 0486634620
Quantity: 1 available