Jan plato? (321 résultats)

Etat : Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Hardback. Etat : Very Good. 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 digita.…

Hardback. Etat : Very Good. 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 digita.…

Etat : good. This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.

paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Etat : New.

Paperback or Softback. Etat : New. Investigations into the Predicate Calculus. Book.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : New.

Etat : New.

Etat : very_good. Fast Free Shipping â" Very Good condition book with a firm cover and clean pages. Shows normal use and some light wear or limited notes markings. A solid, nice copy to enjoy.

Etat : 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.

Etat : New. In English.

paperback. Etat : New.

paperback. Etat : Very Good. paperback great condition jm 7/15.

Etat : New.

Etat : New.

Etat : New.

Softcover. Etat : 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.

Etat : New.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : As New. Unread book in perfect condition.

Etat : As New. Unread book in perfect condition.

Paperback. Etat : 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.…

Hardback. Etat : 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.…

Etat : As New. Unread book in perfect condition.

Etat : New. Num Pages: 392 pages. BIC Classification: PDX. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152. . 2017. hardcover. . . . .

Soft cover. Etat : Very Good. No names, underlining, notes or highlighting. z4.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : 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.