Importe total (1 artículo artículos):
Destino del pedido:
curry haskell (90 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (90)
- 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 (43)
- Como nuevo, Excelente o Muy bueno (20)
- Bueno o Aceptable (16)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (11)
Encuadernación
Más atributos
- Primera edición (11)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (9)
- Con imágenes (31)
- No impresión bajo demanda (76)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Foundations of Mathematical Logic (Dover Books on Mathematics)
Libro 22 de 303: Dover Books on MathematicsLibrería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 12,05
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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 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,17
Envío por EUR 4,26
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,63
Envío por EUR 2,25
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,11
Envío por EUR 2,25
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
Libro 22 de 303: Dover Books on MathematicsLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,96
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 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,29
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.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,18
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik) (Paperback or Softback)
Idioma: Inglés
Publicado por College Publications 4/19/2017, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 20,51
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Foundations of Combinatory Logic: (Grundlagen Der Kombinatorischen Logik). Book.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsIdioma: Inglés
Publicado por Dover Pubns, Mineola, New York, U.S.A., 1977
ISBN 10: 0486634620 ISBN 13: 9780486634623
Librería: Wm Burgett Bks and Collectibles, San diego, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 17,52
Envío por EUR 3,41
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 18,88
Envío por EUR 2,25
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 Combinatory Logic
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,64
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.
-
Foundations of Mathematical Logic
Libro 22 de 303: Dover Books on MathematicsLibrería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 20,70
Envío por EUR 2,25
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
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 (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,14
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.
-
A THEORY OF FORMAL DEDUCTIBILITY
Publicado por NOTRE DAME IN: U OF NOTRE DAME, 1966, 1966
Librería: A Casperson Books, Niles, MI, Estados Unidos de America
Calificación del vendedor: 3 de 5 estrellas
EUR 13,17
Envío por EUR 3,52
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: As New. No Jacket. Soft Cover. NEW. First Edition.
-
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,86
Envío por EUR 9,01
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.
-
Combinatory Logic; 1
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 25,83
Envío por EUR 2,25
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,34
Envío por EUR 5,75
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,15
Envío por EUR 2,25
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,45
Envío por EUR 4,26
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.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Idioma: Inglés
Publicado por College Publications 2017-04, 2017
ISBN 10: 1848902026 ISBN 13: 9781848902022
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 16,51
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik) (Logic PhD)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 21,49
Envío por EUR 13,84
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Foundations of Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 19,23
Envío por EUR 17,33
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Outlines of a Formalist Philosophy of Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 19,19
Envío por EUR 17,33
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 26,86
Envío por EUR 11,56
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 20,90
Envío por EUR 17,33
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, 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
Original o primera edición
EUR 30,69
Envío por EUR 9,33
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 Combinatory Logic: (Grundlagen der kombinatorischen Logik)
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 22,61
Envío por EUR 17,33
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 40,69
Envío por EUR 2,25
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.
![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)
