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

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

Na minha lista:
Detalhes bibliográficos
Auteurs principaux: Cori, René, mathématicien, Lascar, Daniel, 1942- (Auteur)
Outros Autores: Krivine, Jean-Louis, 1939- (Auteur de l'introduction, etc.)
Formato: Livre papier
Idioma:Français
Publicado em: Paris : Masson 1993.
Colecção:Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
Assuntos:
Logique mathématique non classique
Boole, Algèbre de
Calcul des prédicats
Calcul des propositions
Manuels d'enseignement supérieur
Problèmes et exercices
Nota: Autre tirage : 1994
Autres localisations: Voir dans le Sudoc
Variante du titre:Calcul propositionnel, algèbres de Boole, calcul des prédicats

Orléans - BU Sciences Technologies STAPS

Detalhes do Exemplar Orléans - BU Sciences Technologies STAPS
  Localização Área/Cota Type de prêt Estado
ex. 1 Magasin B150-1(1) Empruntable Disponível

Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)

Detalhes do Exemplar Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
Observações: A demander à la BU Sciences
  Localização Área/Cota Type de prêt Estado
Salle de lecture 1594 COR Prêt sous conditions Disponível

Registos relacionados