Importo totale (1 articolo articoli):
Destinazione ordine:
curry haskell (90 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (90)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (43)
- Come nuovo, Ottimo o Quasi ottimo (20)
- Molto buono o Buono (16)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (11)
Legatura
Ulteriori caratteristiche
- Prima ed. (11)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (9)
- Con foto (31)
- Non Print on Demand (76)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Foundations of Mathematical Logic (Dover Books on Mathematics)
Libro 22 di 303: Dover Books on MathematicsDa: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships via media mail.
-
FOUNDATIONS OF MATHEMATICAL LOGIC.
Libro 22 di 303: Dover Books on MathematicsDa: de Wit Books, HUTCHINSON, KS, U.S.A.
Valutazione del venditore 5 su 5 stelle
VG, unmarked, 5" x 8" Paperback. viii + 408 pp.
-
Outlines of a Formalist Philosophy of Mathematics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 15,63
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 16,11
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Foundations of Mathematical Logic
Libro 22 di 303: Dover Books on MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
EUR 20,29
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Brand New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 18,18
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik) (Paperback or Softback)
Lingua: Inglese
Editore: College Publications 4/19/2017, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
-
Foundations of Mathematical Logic
Libro 22 di 303: Dover Books on MathematicsLingua: Inglese
Editore: Dover Pubns, Mineola, New York, U.S.A., 1977
ISBN 10: 0486634620 ISBN 13: 9780486634623
Da: Wm Burgett Bks and Collectibles, San diego, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 18,88
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Foundations of Combinatory Logic
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 21,64
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Foundations of Mathematical Logic
Libro 22 di 303: Dover Books on MathematicsDa: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
A Theory of Formal Deducibility. (=Notre Dame Mathematical Lectures; no. 6).
Lingua: Inglese
Editore: Notre Dame, Indiana, 1966
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 7,70
Spedizione EUR 15,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Gut. 129 S.; Ill. Good condition. Cover worn. Front joint / binding brownstained. Sprache: Englisch Gewicht in Gramm: 375.
-
Foundations of Mathematical Logic (Paperback)
Libro 22 di 303: Dover Books on MathematicsLingua: Inglese
Editore: Dover Publications Inc., New York, 2003
ISBN 10: 0486634620 ISBN 13: 9780486634623
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
A THEORY OF FORMAL DEDUCTIBILITY
Editore: NOTRE DAME IN: U OF NOTRE DAME, 1966, 1966
Da: A Casperson Books, Niles, MI, U.S.A.
Valutazione del venditore 3 su 5 stelle
Soft cover. Condizione: As New. No Jacket. Soft Cover. NEW. First Edition.
-
Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Libro 22 di 303: Dover Books on MathematicsDa: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 18,86
Spedizione EUR 9,01
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. 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.
-
Combinatory Logic; 1
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 25,83
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6]
Lingua: Inglese
Editore: NOTRE DAME UNIVERSITY, Notre Dame, 1957
Da: Inklings Bookstore, Bedford, IN, U.S.A.
Valutazione del venditore 4 su 5 stelle
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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 30,15
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
hardcover. Condizione: Good. softcover book light wear to cover and book edges, has some light reader wear.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Lingua: Inglese
Editore: College Publications 2017-04, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 16,51
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 21,49
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,23
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Outlines of a Formalist Philosophy of Mathematics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 19,19
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Foundations of Mathematical Logic
Libro 22 di 303: Dover Books on MathematicsDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 26,86
Spedizione EUR 11,56
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
-
Outlines of a Formalist Philosophy of Mathematics
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 20,90
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
FOUNDATIONS OF MATHEMATICAL LOGIC
Libro 22 di 303: Dover Books on MathematicsLingua: Inglese
Editore: Dover Publications, New York, 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Da: Rare Book Cellar, Pomona, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
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 Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 22,63
Spedizione EUR 17,33
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Foundations of Mathematical Logic
Libro 22 di 303: Dover Books on MathematicsDa: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 30,83
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloCondizione: 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
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 40,69
Spedizione EUR 2,25
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
![Immagine del venditore per A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6] venduto da Inklings Bookstore](https://pictures.abebooks.com/inventory/md/md32384022130.jpg)
