9780486634623 - foundations of mathematical logic di curry, haskell brooks (20 risultati)
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 13,45
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Lingua: Inglese
Editore: NY: Dover c. 1977. 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: de Wit Books, HUTCHINSON, KS, U.S.A.de Wit Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 13,46
EUR 4,36 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 18,36
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Dover Publishers 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 20,74
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.
Lingua: Inglese
Editore: Dover Pubns, Mineola, New York, U.S.A. 1977
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Wm Burgett Bks and Collectibles, san diego, CA, U.S.A.Wm Burgett Bks and Collectibles
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Quasi ottimo
EUR 17,91
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Near Fine. Condizione sovraccoperta: No Jacket as Issued. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 21,16
EUR 2,30 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Dover Publications Inc., New York 2003
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 26,73
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: WorldofBooks, Goring-By-Sea, WS, Regno UnitoWorldofBooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 25,44
EUR 6,46 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Russell Books, Victoria, BC, CanadaRussell Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 21,51
EUR 17,42 spedizioneSpedito da Canada a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. Special order direct from the distributor.
Lingua: Inglese
Editore: Dover Publications 1977
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 29,29
EUR 11,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Dover Publications Inc. 1977
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 30,83
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 10 disponibili
Condizione: 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. . . . .
Altre immaginiLingua: Inglese
Editore: Dover Publications, New York 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
- Prima edizione
Da: Rare Book Cellar, Pomona, NY, U.S.A.Rare Book Cellar
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 34,96
EUR 9,54 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
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.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 28,46
EUR 17,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Dover Publications Inc. 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,15
EUR 9,15 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Dover Publications 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,63
EUR 17,30 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Dover Publications Inc. 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: THE SAINT BOOKSTORE, Southport, , Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,92
EUR 18,62 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Dover, New York 1977
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: Antiquariat Renner OHG, Albstadt, , GermaniaAntiquariat Renner OHG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 10,00
EUR 45,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Softcover. Condizione: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition.
Lingua: Inglese
Editore: Dover Publications Inc., New York 2003
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 39,03
EUR 32,24 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
Lingua: Inglese
Editore: Dover Publications Inc., New York 2003
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,65
EUR 42,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
Lingua: Inglese
Editore: DOVER PUBN INC 2010
Serie: Dover Books on Mathematics, Libro 22 di 303. Libro 22 di 303 - Dover Books on Mathematics
- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 27,15
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: 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.
