検索結果 - "Calcul des prédicats"

1

Logique moderne.

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

著者: Grize, Jean Blaise, 1922-2013.
出版事項 1971

Livre

2

Évènements, prédicats, arguments

Évènements, prédicats, arguments

著者: Kupferman, Lucien.
出版事項 2008

Article de revue

3

$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

著者: Ponasse, Daniel.
出版事項 1967

Livre

4

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

著者: Desclès, Jean-Pierre.
出版事項 2010

Livre

5

Models and ultraproducts : an introduction

Models and ultraproducts : an introduction

著者: Bell, John Lane.
出版事項 1971

Livre

6

Sémantiques

出版事項 1998

Livre

7

$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

著者: Cori, René.
出版事項 2003

Livre

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