The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic) - Image 1

£107.78

North Holland The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

Name: The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)
Brand: North Holland
Price: 107.78 GBP
Availability: InStock

AI & Machine Learning

It has never been this cheap. We have no record of a lower price.

£108 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 21 days • 21 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 21 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £127 (13 days, 61.9%)

Price range: £108 - £127

Price levels: 2 different prices over 21 days

Description

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated. Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: "Calculemus . The Dartmouth Conference in 1956 - generally considered as the birthplace of artificial intelligence - raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications. * Chapters by leading authorities in the field* Provides a forum where philosophers and scientists interact* Comprehensive reference source on the history of logic

Product Specifications

Brand: North Holland
Format: hardcover
ASIN: 0444516247
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 01 December 2014
Listed Since: 09 October 2006

Barcode

No barcode data available

North Holland The History of Logic: A HISTORY OF ITS CENTRAL CONCEPTS Vol 9 (Handbook of the History of Logic)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computational Logic: 165 (NATO ASI Subseries F:, 165)

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Handbook of Philosophical Logic: Volume 14

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996: 12 (Lecture Notes in Logic, Series Number 12)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic of Computation: SER F / v.157 (NATO ASI)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Logic for Mathematicians

Logic for Computer Science and Artificial Intelligence

Thinking about Logic: Classic Essays

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Lectures on the Curry-Howard Isomorphism

Mathematical Logic and Computation

Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Logic Colloquium 2007: 35 (Lecture Notes in Logic, Series Number 35)

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Logic Colloquium 2000 (hardcover): Lecture Notes in Logic, 19

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933)

Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004: 29 (Lecture Notes in Logic, Series Number 29)

Logic-Based Artificial Intelligence: 597 (The Springer International Series in Engineering and Computer Science, 597)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version