TY  - THES
DP  - 
		http://www.theses.fr/2000LYO10290
TI  - Algèbres de Heyting avec opérateurs booléens et applications aux systèmes d'information
AU  - SanJuan, Eric
A3  - Pouzet, Maurice; Iturrioz, Luisa
PY  - 2000
SP  - 1 vol. (204 p.)
N1  - Thèse de doctorat Sciences Lyon 1 2000
N1  - 2000LYO10290
ER  -