Foundations of Mathematical Logic (Dover Books on Mathematics)
Haskell B. Curry
ISBN 10: 0486634620 ISBN 13: 9780486634623
Editorial: Dover Publications, 2010
Usado
Encuadernación de tapa blanda
Librería:
-OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 9 de marzo de 2023
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
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. N° de ref. del artículo OTV.0486634620.G
Sinopsis:
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods ― including algorithms and epitheory ― and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Acerca del autor:
Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Foundations of Mathematical Logic (Dover ...
Editorial: Dover Publications
Año de publicación: 2010
Encuadernación: Encuadernación de tapa blanda
Condición: good
Edición: 2ª Edición
Los mejores resultados en AbeBooks
Imagen de archivo
Foundations of Mathematical Logic.
Publicado por
Dover, New York, 1977
ISBN 10: 0486634620
ISBN 13: 9780486634623
Antiguo o usado
Softcover
Librería: Antiquariat Renner OHG, Albstadt, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Gut. N.Y., Dover (1977). VIII, 407 p. Pbck. (back faded), title and last page stained, otherwise in good condition. Nº de ref. del artículo: 31183
Comprar usado
EUR 10,00
Envío por EUR 45,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
FOUNDATIONS OF MATHEMATICAL LOGIC.
Publicado por
NY: Dover c. 1977., 2010
ISBN 10: 0486634620
ISBN 13: 9780486634623
Antiguo o usado
Tapa blanda
Librería: de Wit Books, HUTCHINSON, KS, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
VG, unmarked, 5" x 8" Paperback. viii + 408 pp. Nº de ref. del artículo: 030454
Comprar usado
EUR 13,25
Envío por EUR 4,29
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations of Mathematical Logic
Publicado por
Dover Pubns, Mineola, New York, U.S.A., 1977
ISBN 10: 0486634620
ISBN 13: 9780486634623
Antiguo o usado
Soft cover
Librería: Wm Burgett Bks and Collectibles, San diego, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Soft cover. Condición: Near Fine. Clean copy in near fine condition. Size: 8vo - over 7¾" - 9¾" tall. Nº de ref. del artículo: 020041
Comprar usado
EUR 17,62
Envío por EUR 3,43
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Foundations of Mathematical Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 439030-n
Comprar nuevo
EUR 18,07
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Foundations of Mathematical Logic (Dover Books on MaTHEMA 1.4tics)
Publicado por
Dover Publications, 2010
ISBN 10: 0486634620
ISBN 13: 9780486634623
Antiguo o usado
Paperback
Librería: WorldofBooks, Goring-By-Sea, WS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. 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. Nº de ref. del artículo: GOR007442370
Comprar usado
EUR 18,74
Envío por EUR 6,43
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations of Mathematical Logic Format: Paperback
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Nº de ref. del artículo: 9780486634623
Comprar nuevo
EUR 20,41
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations of Mathematical Logic
Publicado por
Dover Publications, 2010
ISBN 10: 0486634620
ISBN 13: 9780486634623
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 439030
Comprar usado
EUR 20,82
Envío por EUR 2,26
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Foundations of Mathematical Logic
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd revised edition. 416 pages. 8.25x6.00x0.75 inches. In Stock. Nº de ref. del artículo: x-0486634620
Comprar nuevo
EUR 25,88
Envío por EUR 11,48
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations of Mathematical Logic (Paperback)
Publicado por
Dover Publications Inc., New York, 2003
ISBN 10: 0486634620
ISBN 13: 9780486634623
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. 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. Nº de ref. del artículo: 9780486634623
Comprar nuevo
EUR 26,30
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations of Mathematical Logic (Dover Books on Mathematics)
Librería: Russell Books, Victoria, BC, Canada
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Special order direct from the distributor. Nº de ref. del artículo: ING9780486634623
Comprar nuevo
EUR 26,45
Envío por EUR 17,14
Se envía de Canada a Estados Unidos de America
Se envía de Canada a Estados Unidos de America
Cantidad disponible: 1 disponibles