1 - Algebres de Heyting trivalentes involutivesIturrioz, LuisaCote : [05 ITU 74]
2 - Teorías matemáticas formalizadasSikorski, Roman (1920-1983) / Diego, Antonio (Réd.)Cote : [05 SIK 68]