Gesamtpreis (1 Artikel Artikel):
Versandziel:
haskell curry (85 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (85)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (39)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (20)
- Gut oder Befriedigend (15)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (11)
Weitere Eigenschaften
- Erstausgabe (10)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (9)
- Angebotsfoto (30)
- Keine Print-on-Demand Angebote (75)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
FOUNDATIONS OF MATHEMATICAL LOGIC.
Buch 22 von 303: Dover Books on MathematicsAnbieter: de Wit Books, HUTCHINSON, KS, USA
Verkäuferbewertung 5 von 5 Sternen
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.
-
Outlines of a Formalist Philosophy of Mathematics
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Foundations of Mathematical Logic
Buch 22 von 303: Dover Books on MathematicsAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Zustand: New. Brand New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik) (Paperback or Softback)
Sprache: Englisch
Verlag: College Publications 4/19/2017, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Anbieter: BargainBookStores, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback or Softback. Zustand: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
-
Foundations of Mathematical Logic
Buch 22 von 303: Dover Books on MathematicsSprache: Englisch
Verlag: Dover Pubns, Mineola, New York, U.S.A., 1977
ISBN 10: 0486634620 ISBN 13: 9780486634623
Anbieter: Wm Burgett Bks and Collectibles, San diego, CA, USA
Verkäuferbewertung 4 von 5 Sternen
Soft cover. Zustand: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,82
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Foundations of Mathematical Logic
Buch 22 von 303: Dover Books on MathematicsAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
A Theory of Formal Deducibility. (=Notre Dame Mathematical Lectures; no. 6).
Sprache: Englisch
Verlag: Notre Dame, Indiana, 1966
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Gut. 129 S.; Ill. Good condition. Cover worn. Front joint / binding brownstained. Sprache: Englisch Gewicht in Gramm: 375.
-
Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Buch 22 von 303: Dover Books on MathematicsAnbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 18,84
EUR 6,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
-
Foundations of Mathematical Logic (Paperback)
Buch 22 von 303: Dover Books on MathematicsSprache: Englisch
Verlag: Dover Publications Inc., New York, 2003
ISBN 10: 0486634620 ISBN 13: 9780486634623
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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.
-
A THEORY OF FORMAL DEDUCTIBILITY
Verlag: NOTRE DAME IN: U OF NOTRE DAME, 1966, 1966
Anbieter: A Casperson Books, Niles, MI, USA
Verkäuferbewertung 3 von 5 Sternen
Soft cover. Zustand: As New. No Jacket. Soft Cover. NEW. First Edition.
-
Combinatory Logic; 1
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6]
Sprache: Englisch
Verlag: NOTRE DAME UNIVERSITY, Notre Dame, 1957
Anbieter: Inklings Bookstore, Bedford, IN, USA
Verkäuferbewertung 4 von 5 Sternen
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
hardcover. Zustand: Good. softcover book light wear to cover and book edges, has some light reader wear.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Sprache: Englisch
Verlag: College Publications 2017-04, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 16,50
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,47
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,21
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Outlines of a Formalist Philosophy of Mathematics
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 19,13
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Foundations of Mathematical Logic
Buch 22 von 303: Dover Books on MathematicsAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 26,02
EUR 11,55 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
-
Outlines of a Formalist Philosophy of Mathematics
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 21,02
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 22,62
EUR 17,32 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Foundations of Mathematical Logic
Buch 22 von 303: Dover Books on MathematicsAnbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. . . . .
-
Combinatory Logic; 1
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
FOUNDATIONS OF MATHEMATICAL LOGIC
Buch 22 von 303: Dover Books on MathematicsSprache: Englisch
Verlag: Dover Publications, New York, 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Anbieter: Rare Book Cellar, Pomona, NY, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Foundations of Mathematical Logic (Dover Books on Mathematics)
Buch 22 von 303: Dover Books on MathematicsAnbieter: Russell Books, Victoria, BC, Kanada
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Special order direct from the distributor.
![Bild des Verkäufers für A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6] zum Verkauf von Inklings Bookstore](https://pictures.abebooks.com/inventory/md/md32384022130.jpg)
