Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Magers and Quinn Booksellers, Minneapolis, MN, Estados Unidos de America
EUR 9,96
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. Brand New.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Greenworld Books, Arlington, TX, Estados Unidos de America
EUR 14,49
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: good. Fast Free Shipping â" Good condition. It may show normal signs of use, such as light writing, highlighting, or library markings, but all pages are intact and the book is fully readable. A solid, complete copy that's ready to enjoy.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 16,17
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por College Publications 12/1/2022, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 18,52
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Investigations into the Predicate Calculus. Book.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 16,95
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por College Publications, GB, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 19,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 18,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 17,57
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 33,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 35,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Cambridge University Press, 1994
ISBN 10: 0521444039 ISBN 13: 9780521444033
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
EUR 35,58
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Publicado por Boucher's Uitgeverij, Antwerp
Librería: Ancient World Books, Toronto, ON, Canada
EUR 17,72
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Good+. Wraps are browned. Some scattered light foxing, else VG. With the ownership name of S. R. Slings to titlepage; N. D. Likely 1930s. ; 167 pages.
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 35,10
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, GB, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 37,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 38,13
Cantidad disponible: 3 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Princeton University Press, US, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
EUR 38,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoHardback. Condición: New. The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schroder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Godel conceived his celebrated incompleteness theorems.They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
EUR 20,91
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521597358 ISBN 13: 9780521597357
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
EUR 36,75
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Fine. 336 pp., Paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Basi6 International, Irving, TX, Estados Unidos de America
EUR 42,07
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Idioma: Inglés
Publicado por Cambridge University Press, 1998
ISBN 10: 0521597358 ISBN 13: 9780521597357
Librería: Blue Fog Books, Arlington Heights, IL, Estados Unidos de America
EUR 37,13
Cantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Very Good. No names, underlining, notes or highlighting. z4.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 32,34
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Num Pages: 392 pages. BIC Classification: PDX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152. . 2017. hardcover. . . . .
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 34,81
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New. Num Pages: 392 pages. BIC Classification: PDX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152. . 2017. hardcover. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 42,77
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Princeton University Press, US, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 45,22
Cantidad disponible: 2 disponibles
Añadir al carritoHardback. Condición: New. The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics. The Great Formal Machinery Works draws on original sources and rare archival materials to trace the history of the theories of deduction and computation that laid the logical foundations for the digital revolution. Jan von Plato examines the contributions of figures such as Aristotle; the nineteenth-century German polymath Hermann Grassmann; George Boole, whose Boolean logic would prove essential to programming languages and computing; Ernst Schroder, best known for his work on algebraic logic; and Giuseppe Peano, cofounder of mathematical logic. Von Plato shows how the idea of a formal proof in mathematics emerged gradually in the second half of the nineteenth century, hand in hand with the notion of a formal process of computation. A turning point was reached by 1930, when Kurt Godel conceived his celebrated incompleteness theorems.They were an enormous boost to the study of formal languages and computability, which were brought to perfection by the end of the 1930s with precise theories of formal languages and formal deduction and parallel theories of algorithmic computability. Von Plato describes how the first theoretical ideas of a computer soon emerged in the work of Alan Turing in 1936 and John von Neumann some years later. Shedding new light on this crucial chapter in the history of science, The Great Formal Machinery Works is essential reading for students and researchers in logic, mathematics, and computer science.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 38,58
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: new.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 41,37
Cantidad disponible: 3 disponibles
Añadir al carritoHRD. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Princeton University Press, Princeton, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
EUR 33,33
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Estado de la sobrecubierta: Like New. Hardcover with unclipped dust jacket. Publisher sample with no remainder mark, as new. LW.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 46,72
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 34,63
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Librería: Buchkanzlei, Bremen, Alemania
EUR 14,40
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Gut. 377 pp. Without dust jacket, otherwise a very well-preserved copy. 367 Sprache: Englisch Gewicht in Gramm: 675.