Résultats de la recherche

1

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC

Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC

par Desclès, Jean-Pierre.
Publié 2010

Livre

2

Évènements, prédicats, arguments

Évènements, prédicats, arguments

par Kupferman, Lucien.
Publié 2008

Article de revue

3

$Logique mathématique. cours et exercices corrigés$

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

par Cori, René.
Publié 2003

Livre

4

Sémantiques

Publié 1998

Livre

5

Logique moderne.

Logique moderne. Fascicule II, Logique des propositions et des prédicats, tables de vérité et axiomatisation

par Grize, Jean Blaise, 1922-2013.
Publié 1971

Livre

6

Models and ultraproducts : an introduction

Models and ultraproducts : an introduction

par Bell, John Lane.
Publié 1971

Livre

7

$Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats$

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats

par Ponasse, Daniel.
Publié 1967

Livre

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1