Order Total (1 Item Items):
Shipping Destination:
Plato Jan (333 results)
Author:
plato jan
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (333)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (282)
- As New, Fine or Near Fine (32)
- Very Good or Good (13)
- Fair or Poor (No further results match this refinement)
- As Described (6)
Collectible Attributes
- First Edition (6)
- Signed (No further results match this refinement)
- Dust Jacket (4)
- Seller-Supplied Images (110)
- Not Print on Demand (201)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Condition: 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.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Seller: Magers and Quinn Booksellers, Minneapolis, MN, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. Brand New.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Condition: New.
-
Investigations into the Predicate Calculus (Paperback or Softback)
Language: English
Published by College Publications 12/1/2022, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Paperback or Softback. Condition: New. Investigations into the Predicate Calculus. Book.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Condition: As New. Unread book in perfect condition.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, GB, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 22.47
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Great Formal Machinery Works,The: Theori
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Hardcover. Condition: Like New.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 21.30
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Creating Modern Probability : Its Mathematics, Physics and Philosophy in Historical Perspective
Language: English
Published by Cambridge University Press, 1994
ISBN 10: 0521444039 ISBN 13: 9780521444033
Condition: 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.
-
Elements of Logical Reasoning
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Condition: New.
-
Elements of Logical Reasoning
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Condition: New.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 20.45
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
PLATOON'S TIMAIOS In Het Nederlandsch Overgebacht En Van Inleiding En Toelichting Voorzien
Published by Boucher's Uitgeverij, Antwerp
Softcover. Condition: 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.
-
The Great Formal Machinery Works
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Elements of Logical Reasoning
Language: English
Published by Cambridge University Press, GB, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 42.87
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: 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.
-
Elements of Logical Reasoning
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 110761077X ISBN 13: 9781107610774
Condition: As New. Unread book in perfect condition.
-
The Great Formal Machinery Works
Language: English
Published by Princeton University Press, US, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Hardback. Condition: 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.
-
Investigations into the Predicate Calculus
Language: English
Published by College Publications, 2022
ISBN 10: 184890407X ISBN 13: 9781848904071
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 24.34
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Creating Modern Probability. Its Mathematics, Physics and Philosophy in Historical Perspective
Language: English
Published by Cambridge University Press, 1998
ISBN 10: 0521597358 ISBN 13: 9780521597357
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, June 1 (sale item)* 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.
-
Proof Analysis: A Contribution to Hilbert's Last Problem
Language: English
Published by Cambridge University Press, 2014
ISBN 10: 1107417236 ISBN 13: 9781107417236
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (Cambridge Studies in Probability, Induction and Decision Theory)
Language: English
Published by Cambridge University Press, 1998
ISBN 10: 0521597358 ISBN 13: 9780521597357
Soft cover. Condition: Very Good. No names, underlining, notes or highlighting. z4.
-
Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (THE)
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Condition: 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.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Num Pages: 392 pages. BIC Classification: PDX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152. . 2017. hardcover. . . . .
-
Great Formal Machinery Works : Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Condition: New.
-
The Great Formal Machinery Works
Language: English
Published by Princeton University Press, US, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: 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.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (eng)
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Condition: new.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, Princeton, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
US$ 38.81
US$ 16.82 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Dust Jacket Condition: Like New. Hardcover with unclipped dust jacket. Publisher sample with no remainder mark, as new. LW.
-
The Great Formal Machinery Works
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Language: English
Published by Princeton University Press, 2017
ISBN 10: 0691174172 ISBN 13: 9780691174174
Hardcover. Condition: Gut. 377 pp. Without dust jacket, otherwise a very well-preserved copy. 367 Sprache: Englisch Gewicht in Gramm: 675.
