Importe total (1 artículo artículos):
Destino del pedido:
haskell b curry (61 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (61)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (25)
- Como nuevo, Excelente o Muy bueno (14)
- Bueno o Aceptable (13)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (9)
Encuadernación
Más atributos
- Primera edición (8)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (9)
- Con imágenes (17)
- No impresión bajo demanda (58)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
FOUNDATIONS OF MATHEMATICAL LOGIC.
Libro 22 de 303: Dover Books on MathematicsLibrería: de Wit Books, HUTCHINSON, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,29
Envío por EUR 4,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoVG, unmarked, 5" x 8" Paperback. viii + 408 pp.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 15,77
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,26
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Foundations of Mathematical Logic Format: Paperback
Libro 22 de 303: Dover Books on MathematicsLibrería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 20,47
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,35
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
A Theory of Formal Deducibility. (=Notre Dame Mathematical Lectures; no. 6).
Idioma: Inglés
Publicado por Notre Dame, Indiana, 1966
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 7,70
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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)
Libro 22 de 303: Dover Books on MathematicsLibrería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 18,71
Envío por EUR 6,42
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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)
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Publications Inc., New York, 2003
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,38
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,07
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6]
Idioma: Inglés
Publicado por NOTRE DAME UNIVERSITY, Notre Dame, 1957
Librería: Inklings Bookstore, Bedford, IN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 26,58
Envío por EUR 5,81
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPB 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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 30,43
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Publicado por North-Holland, 1958
Librería: mountain, GEORGETOWN, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,62
Envío por EUR 4,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. softcover book light wear to cover and book edges, has some light reader wear.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 18,97
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 25,84
Envío por EUR 11,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,16
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Publications Inc., 1977
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 30,83
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: 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
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 41,06
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
FOUNDATIONS OF MATHEMATICAL LOGIC
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Publications, New York, 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: Rare Book Cellar, Pomona, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 34,51
Envío por EUR 9,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. 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)
Libro 22 de 303: Dover Books on MathematicsLibrería: Russell Books, Victoria, BC, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 26,54
Envío por EUR 17,20
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Special order direct from the distributor.
-
Foundations in Mathematical Logic
Publicado por McGraw-Hill Book Company, 1963
Librería: Southampton Books, Sag Harbor, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 26,58
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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.
Publicado por Moskva: Izdat. "Mir"., 1969
Librería: Wittenborn Art Books, San Francisco, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,15
Envío por EUR 8,60
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 8vo. 567 pp. Text in Russian. Very good, front hinge starting.
-
A THEORY OF FORMAL DEDUCIBILITY. [Notre Dame Mathematical Lectures # 6]
Publicado por Notre Dame: Univ. of Notre Dame Pr. 1966., 1966
Librería: de Wit Books, HUTCHINSON, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,58
Envío por EUR 4,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoG/VG, unmarked 6" x 9" Paperback. xi + 129 pp.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Publications Inc., 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,66
Envío por EUR 9,03
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoCondición: 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.
-
A Theory of Formal Deducibility
Publicado por University of Notre, Notre Dame, 1950
Librería: By Books Alone, Woodstock, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 26,58
Envío por EUR 4,73
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoStiff Paper Wrappers. Condición: Good. First Edition. Notre Dame Mathematical Lectures Number 6. Black spine cover worn at ends. Stain at bottom of rear wrapper.
-
Combinatory Logic; 1
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 33,38
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Publications Inc., 2010
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 35,71
Envío por EUR 18,51
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 37,07
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 37,43
Envío por EUR 17,20
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Foundations of Mathematical Logic.
Libro 22 de 303: Dover Books on MathematicsLibrería: Antiquariat Renner OHG, Albstadt, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
EUR 10,00
Envío por EUR 45,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition.
-
Outlines of a Formalist Philosophy of Mathematics
Publicado por North Holland, Amsterdam, 1958
Librería: Riverbooks, Suttons Bay, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,44
Envío por EUR 5,59
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. Estado de la sobrecubierta: Very Good. Studies in Logic and the Foundations of Mathematics. Second printing. Flexible printed wraps in original matching dust jacket. Signature on front paste-down, clean of underlining, etc.; dust jacket with slight wear and age-toning at extremities. Condition: fine in very good dust jacket.
![Imagen del vendedor de A THEORY OF FORMAL DEDUCIBILITY [Notre Dame Mathematical Lectures # 6] a la venta por Inklings Bookstore](https://pictures.abebooks.com/inventory/md/md32384022130.jpg)
