René David

1
Ouvrage
Aperçu
Ouvrages

Dernière publication

Ouvrage

2025

Introduction à la logique

Sciences Sup

Articles les plus consultés

Chapitre d’ouvrage

Chapitre 1. Logique du premier ordre

Dans Introduction à la logique (2025)

Chapitre d’ouvrage

Chapitre 7. Logiques d’ordre supérieur

Dans Introduction à la logique (2025)

Chapitre d’ouvrage

Chapitre 8. Démonstration automatique

Dans Introduction à la logique (2025)

Chapitre d’ouvrage

Chapitre 2. Complétude de la logique du premier ordre

Dans Introduction à la logique (2025)

Chapitre d’ouvrage

Chapitre 3. Exemples de théories

Dans Introduction à la logique (2025)

Chapitre d’ouvrage

Introduction

Dans Introduction à la logique (2025)

Coauteur(e)s

  • Christophe Raffalli

    1
    Ouvrage

  • Karim Nour

    1
    Ouvrage

Ouvrages

Ouvrage

Introduction à la logique

Dunod (2025)