Foundations Mathematical Logic by Haskell Curry (26 results)
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
£ 10.35
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Language: English
Published by NY: Dover c. 1977., 2010
- Softcover
Seller: de Wit Books, HUTCHINSON, KS, U.S.A.de Wit Books
Contact seller5-star sellerCondition: Used
£ 11.60
£ 3.75 shippingShips within U.S.A.Quantity: 1 available
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.
Language: English
Published by Dover Publications, Incorporated, 2010
- Softcover
Seller: Better World Books: West, Reno, NV, U.S.A.Better World Books: West
Contact seller5-star sellerCondition: Used - Fine
£ 17.59
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Fine. Used book that is in almost brand-new condition. May contain a remainder mark. Better World Books: Buy Books. Do Good.
- More images
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 15.81
£ 1.98 shippingShips within U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Dover Publishers, 2010
- Softcover
Seller: INDOO, Avenel, NJ, U.S.A.INDOO
Contact seller5-star sellerCondition: New
£ 17.86
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand New.
Language: English
Published by Dover Pubns, Mineola, New York, U.S.A., 1977
- Softcover
Seller: Wm Burgett Bks and Collectibles, san diego, CA, U.S.A.Wm Burgett Bks and Collectibles
Contact seller4-star sellerCondition: Used - Near fine
£ 15.42
£ 3.00 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Near Fine. Dust Jacket Condition: No Jacket as Issued. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.
- More images
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 18.40
£ 1.98 shippingShips within U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Dover Publications Inc., New York, 2003
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 23.02
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. This book is a thoroughly documented…and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 18.20
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- More images
Language: English
Published by Dover Publications, New York, 2010
- Softcover
- First Edition
Seller: Rare Book Cellar, Pomona, NY, U.S.A.Rare Book Cellar
Contact seller5-star sellerCondition: Used
£ 25.47
£ 8.22 shippingShips within U.S.A.Quantity: 1 available
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.
Language: English
Published by Dover Publications Inc., 1977
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 27.11
£ 8.11 shippingShips from Ireland to U.S.A.Quantity: 10 available
Condition: New. Series: Dover Books on Mathematics. Num Pages: 416 pages, Illustrations. BIC Classification: PBCD. Category: (UF) Further/Higher Education; (UU) Undergraduate. Dimension: 204 x 137 x 21. Weight in Grams: 400. . 2003. 2nd. Paperback. . . . .
Language: English
Published by Dover Publications, 1977
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 25.07
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: Russell Books, Victoria, BC, CanadaRussell Books
Contact seller5-star sellerCondition: New
£ 23.16
£ 15.00 shippingShips from Canada to U.S.A.Quantity: 1 available
Paperback. Condition: New. Special order direct from the distributor.
- More images
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 23.74
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: As New. Unread book in perfect condition.
- More images
Published by McGraw-Hill Book Company, 1963
- Hardcover
- First Edition
Seller: Southampton Books, Sag Harbor, NY, U.S.A.Southampton Books
Contact seller5-star sellerCondition: Used - Very good
£ 23.19
£ 3.75 shippingShips within U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very Good. First Edition. First Edition, First Printing. Not price-clipped. Published by McGraw-Hill Book Company, 1963. Octavo. Hardcover. Book is very good with previous owner name and date front flyleaf, sticker spine, and spine lean. No dust jacket.100% positive feedback. 30 day money back guarantee. NE…XT DAY SHIPPING! Excellent customer service. Please email with any questions. All books packed carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.
Published by Moskva: Izdat. "Mir"., 1969
- Hardcover
Seller: Wittenborn Art Books, San Francisco, CA, U.S.A.Wittenborn Art Books
Contact seller5-star sellerCondition: Good. 8vo. 567 pp. Text in Russian. Very good, front hinge starting.
Language: English
Published by Dover Publications Inc., 2010
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 32.86
£ 7.88 shippingShips within U.S.A.Quantity: 10 available
Condition: New. Series: Dover Books on Mathematics. Num Pages: 416 pages, Illustrations. BIC Classification: PBCD. Category: (UF) Further/Higher Education; (UU) Undergraduate. Dimension: 204 x 137 x 21. Weight in Grams: 400. . 2003. 2nd. Paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Dover Publications, 2010
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 27.48
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Condition: New.
Language: English
Published by Dover Publications Inc., 2010
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 30.24
£ 16.15 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Dover, New York, 1977
- Softcover
Seller: Antiquariat Renner OHG, Albstadt, GermanyAntiquariat Renner OHG
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - Very good
£ 8.79
£ 38.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition.
Language: English
Published by Dover Publications Inc., New York, 2003
- Softcover
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 33.42
£ 27.77 shippingShips from Australia to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. This book is a thoroughly documented…and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by Dover Publications Inc., New York, 2003
- Softcover
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 27.49
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. This book is a thoroughly documented…and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scientists whose work impinges upon logic. Professor Curry begins by asking a simple question: What is mathematical logic? If we can define logic as "the analysis and criticism of thought" (W. E. Johnson), then mathematical logic is, according to Curry, "a branch of mathematics which has much the same relation to the analysis and criticism of thought as geometry does to the science of space." The first half of the book gives the basic principles and outlines of the field. After a general introduction to the subject, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included here. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation that expresses the meaning to be attached to the logical connectives and to develop the properties that follow from the assumptions so motivated. The author covers positive connectives: implication, conjunction, and alternation. He then goes on to negation and quantification, and concludes with modal operations. Extensive use is made in these latter chapters of the work of Gentzen. Lists of exercises are included. Haskell B. Curry, Evan Pugh Research Professor, Emeritus, at Pennsylvania State University, was a member of the Institute for Advanced Study, Princeton; a former Director of the Institute for Foundational Research, the University of Amsterdam; and President of the Association for Symbolic Logic. His book avoids a doctrinaire stance, presenting various interpretations of logical systems, and offers philosophical and reflective as well as mathematical perspectives. Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
- More images
Language: English
Published by DOVER PUBN INC, 2010
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 23.87
£ 41.83 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. InhaltsverzeichnisrnrnPreface Explanation of ConventionsnChapter 1. Introductionn 1. The nature of mathematical logicn 2. The logical antinomiesn 3. The nature of mathematicsn 4. Mathematics and logicn 5. Supplementary topicsnChapter 2. Fo.
Published by New York: McGraw Hill, 1963
- Hardcover
Seller: Antiquariat Bergische Bücherstube Mewes, Overath, GermanyAntiquariat Bergische Bücherstube Mewes
Contact seller5-star sellerCondition: Used
£ 21.99
£ 46.11 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketfester Einband. XII 408 S. Reg, HLn.mS * gutes Expl.*. Sprache: Englisch.
Published by McGraw Hill, 1963
- Hardcover
Seller: Fireside Bookshop, Stroud, GLOS, United KingdomFireside Bookshop
Contact seller5-star sellerAssociation member: PBFA
Condition: Used - Good
£ 50.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCloth. Condition: Good. Dust Jacket Condition: Good. Type: Book Small plain label inside cover.Some darkening, rubbing and chipping to d/j.
- More images
Language: English
Published by New York [u.a.] : McGraw-Hill,, 1963
Seller: Licus Media e.K., Utting a. Ammersee, GermanyLicus Media e.K.
Contact seller4-star sellerCondition: Used - Good
£ 26.34
£ 89.66 shippingShips from Germany to U.S.A.Quantity: 2 available
Add to basketGebundene Ausgabe. Condition: Befriedigend. eng. XII, 408 S., In english language. Hardback with boards of original publishers cloth, title to spine and cover, without dust jacket. Former library copy with external labelings removed from boards. Boards rubbed or slightly bumped, page edges and margins slightly darkened, otherwis…e with clean text and well kept. Signature stamps on endpapers and title. + + + Originalleineneinband mit Rückenbetitelung, ohne Schutzumschlag. Ordentlich ausgesondertes Bibliotheksexemplar mit entfernten äußerlichen Kennzeichnungen. Einband berieben oder leicht bestoßen, Schnitt und Seitenränder etwas nachgedunkelt, sonst augenscheinlich textsauber und gepflegt. Signatur- / Entwidmungsstempel a. Vorsatz u. Titel. Werktäglicher Versand. Jede Lieferung m. ordentl. Rechnung und ausgew. MwSt. Der Versand erfolgt als Büchersendung / Einschreiben mit der Deutschen Post bzw. als Päckchen / Paket mit DHL. Die Lieferzeit ist abhängig von der Versandart und beträgt innerhalb Deutschlands 3-5 Tage, in der EU 5 - 12 Tage. KEIN Versand an Packstationen. Körperschaften und juristische Personen werden auf Wunsch per offener Rechnung beliefert. ***ATTENTION U.S. CUSTOMERS: Due to the new tariffs, we are unable to ship packages to the USA at this time. Thank you for understanding.*** Sprache: Englisch Gewicht in Gramm: 550.
