Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 273 p.
Cote : 00010797
logique mathématiques # logique symbolique
03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX
Localisation : Ouvrage RdC (WANG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 304 p.
Cote : 00010819
calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation
03-XX ; 03B15 ; 03B35 ; 68A40
Localisation : Ouvrage RdC (ANDR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00011753
complexite # deductibilite # informatique theorique # logique # recessivite # systeme logique classique
02B10 ; 03D05 ; 02G05 ; 68A40 ; 69A20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.