1 - Introduction to mathematical logicHermes, Hans (1912-2003) / Schmidt, Diana (Trad.)Cote : [02 HER 73]