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.
£ 2.80 shipping within U.S.A.
Destination, rates & speedsSeller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_433664650
Quantity: 1 available
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_441866161
Quantity: 1 available
Seller: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condition: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_423806293
Quantity: 1 available
Seller: Bookmans, Tucson, AZ, U.S.A.
Paperback. Condition: Acceptable. Some shelf wear Satisfaction 100% guaranteed. Seller Inventory # mon0002689599
Quantity: 1 available
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Seller Inventory # 030454
Quantity: 1 available
Seller: INDOO, Avenel, NJ, U.S.A.
Condition: New. Brand New. Seller Inventory # 9780486634623
Quantity: Over 20 available
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
Quantity: 1 available
Seller: Daedalus Books, Portland, OR, U.S.A.
Paperback. Condition: Very Good. A nice, solid copy. ; Dover Books On Mathematics; 6 X 0.75 X 8.25 inches; 407 pages. Seller Inventory # 323150
Quantity: 1 available
Seller: Rare Book Cellar, Pomona, NY, U.S.A.
Softcover. First Edition Thus; First Printing. Very Good in wrappers. ; Dover Books on Mathematics; 8.11 X 5.59 X 0.55 inches; 416 pages. Seller Inventory # 75524
Quantity: 1 available
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