£43.03

DUNOD Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles: T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Price data last checked 63 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£43 today · previous high £43 · all-time low £37

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 28 days • 28 data points (No recent data available)

Historical
Generating forecast...
£43.03 £36.46 £37.90 £39.33 £40.76 £42.19 £43.63 08 April 2026 14 April 2026 21 April 2026 28 April 2026 05 May 2026

Price Distribution

Price distribution over 28 days • 2 price levels

Days at Price
Current Price
18 days 10 days · current 0 5 9 14 18 £37 £43 Days at Price

Price Analysis

Most common price: £37 (18 days, 64.3%)

Price range: £37 - £43

Price levels: 2 different prices over 28 days

Description

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'a la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.

Product Specifications

Brand
DUNOD
Format
paperback
Domain
Amazon UK
Release Date
04 February 2020
Listed Since
14 November 2019

Barcode

No barcode data available

Similar Products You Might Like

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
98% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£110.00 13 Jun 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
98% match

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

World Scientific Publishing Company

£72.44 24 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
98% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£50.10 02 Jul 2026
Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
98% match

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Springer

£26.57 01 Apr 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
98% match

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer

£29.57 28 Apr 2026
Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
98% match

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Cambridge University Press

£46.55 03 Jul 2026
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results
98% match

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

North Holland

£49.99 02 Jul 2026
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)
98% match

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Springer

£65.56 23 May 2026
Proof Theory and Logic Programming: Computation as Proof Search
97% match

Proof Theory and Logic Programming: Computation as Proof Search

Cambridge University Press

£52.02 29 Apr 2026
Logic for Applications (Texts in Computer Science)
97% match

Logic for Applications (Texts in Computer Science)

Springer

£74.84 13 Jun 2026
MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)
97% match

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

£68.02 17 Mar 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
97% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.98 09 Mar 2026
Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)
97% match

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

North Holland

£170.19 17 Jun 2026
Logic for Mathematicians
97% match

Logic for Mathematicians

Cambridge University Press

£54.13 10 Jun 2026
Substructural Logics: A Primer: 13 (Trends in Logic, 13)
97% match

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Springer

£105.06 16 Jun 2026
Logic for Computer Science and Artificial Intelligence
97% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.11 13 Apr 2026
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
97% match

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Birkhauser

£46.53 13 Apr 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
97% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£85.44 12 Jun 2026
Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)
97% match

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Paysages Mathématiques

£47.19 07 Mar 2026
Mathematical Logic through Python
97% match

Mathematical Logic through Python

Cambridge University Press

£55.29 08 Mar 2026
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
97% match

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Springer

£89.95 09 May 2026
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
97% match

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

CRC Press

£91.07 01 Jul 2026
A First Journey through Logic (Student Mathematical Library)
97% match

A First Journey through Logic (Student Mathematical Library)

£43.35 04 Jul 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
97% match

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

Springer

£39.73 01 Jul 2026