Order Total (1 Item Items):
Shipping Destination:
Haskell B Curry (63 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (63)
- 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 Learn more
Binding
Collectible Attributes
- First Edition (8)
- Signed (No further results match this refinement)
- Dust Jacket (9)
- Seller-Supplied Images (16)
- Not Print on Demand (57)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 101505532X ISBN 13: 9781015055322
Condition: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 101505532X ISBN 13: 9781015055322
Condition: New.
-
Condition: New. Brand New.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 101505532X ISBN 13: 9781015055322
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 24.21
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
A Theory of Formal Deducibility. (=Notre Dame Mathematical Lectures; no. 6).
Language: English
Published by Notre Dame, Indiana, 1966
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. Condition: Gut. 129 S.; Ill. Good condition. Cover worn. Front joint / binding brownstained. Sprache: Englisch Gewicht in Gramm: 375.
-
Foundations of Mathematical Logic (Paperback)
Book 22 of 303: Dover Books on MathematicsLanguage: English
Published by Dover Publications Inc., New York, 2003
ISBN 10: 0486634620 ISBN 13: 9780486634623
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.
-
Combinatory Logic; 1
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014667844 ISBN 13: 9781014667847
Condition: New.
-
Combinatory Logic; 1
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014667844 ISBN 13: 9781014667847
Condition: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014245036 ISBN 13: 9781014245038
Condition: New.
-
Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Book 22 of 303: Dover Books on MathematicsSeller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
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.
-
A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6]
Language: English
Published by NOTRE DAME UNIVERSITY, Notre Dame, 1957
Soft cover. Condition: Very Good. PB book in VG condition. Points and edges of spine are slightly worn and discolored. Pages and covers have some discoloration/yellowing around the edges. Page interiors white and clean. Please see photos attached and feel free to reach out with questions about this title.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014245036 ISBN 13: 9781014245038
Condition: As New. Unread book in perfect condition.
-
hardcover. Condition: Good. softcover book light wear to cover and book edges, has some light reader wear.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 101505532X ISBN 13: 9781015055322
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 22.09
US$ 19.95 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 30.31
US$ 13.30 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
-
Foundations of Mathematical Logic (Dover Books on Mathematics)
Book 22 of 303: Dover Books on MathematicsUS$ 29.95 20% offUS$ 23.96
US$ 19.99 shipping
Ships from Canada to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. Special order direct from the distributor.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 101505532X ISBN 13: 9781015055322
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 24.74
US$ 19.95 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Combinatory Logic; 1
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014006821 ISBN 13: 9781014006820
Condition: As New. Unread book in perfect condition.
-
Foundations of Mathematical Logic
Book 22 of 303: Dover Books on MathematicsLanguage: English
Published by Dover Publications Inc., 1977
ISBN 10: 0486634620 ISBN 13: 9780486634623
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
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. . . . .
-
FOUNDATIONS OF MATHEMATICAL LOGIC
Book 22 of 303: Dover Books on MathematicsLanguage: English
Published by Dover Publications, New York, 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
First Edition
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.
-
Hardcover. 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. NEXT 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.
-
Osnovanija matemati?eskoj logiki = Foundations of Mathematical Logic.
Published by Moskva: Izdat. "Mir"., 1969
Seller: Wittenborn Art Books, San Francisco, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 8vo. 567 pp. Text in Russian. Very good, front hinge starting.
-
A THEORY OF FORMAL DEDUCIBILITY. [Notre Dame Mathematical Lectures # 6]
Published by Notre Dame: Univ. of Notre Dame Pr. 1966., 1966
G/VG, unmarked 6" x 9" Paperback. xi + 129 pp.
-
Foundations of Mathematical Logic
Book 22 of 303: Dover Books on MathematicsLanguage: English
Published by Dover Publications Inc., 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
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.
-
Stiff Paper Wrappers. Condition: Good. First Edition. Notre Dame Mathematical Lectures Number 6. Black spine cover worn at ends. Stain at bottom of rear wrapper.
-
Combinatory Logic; 1
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014667844 ISBN 13: 9781014667847
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 39.02
US$ 19.95 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Combinatory Logic; 1
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014667844 ISBN 13: 9781014667847
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 39.16
US$ 19.95 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundations of Mathematical Logic
Book 22 of 303: Dover Books on MathematicsLanguage: English
Published by Dover Publications Inc., 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 41.43
US$ 21.48 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Outlines of a Formalist Philosophy of Mathematics
Language: English
Published by Hassell Street Press, 2021
ISBN 10: 1014245036 ISBN 13: 9781014245038
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 43.66
US$ 19.95 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
![Seller image for A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6] for sale by Inklings Bookstore](https://pictures.abebooks.com/inventory/md/md32384022130.jpg)
