TY - JOUR AU - Bonnay, Denis TI - Preuves et jeux sémantiques JO - Philosophia Scientiae PY - 2004 SP - 105 EP - 123 VL - 8 IS - 2 PB - Éditions Kimé UR - http://www.numdam.org/item/PHSC_2004__8_2_105_0/ LA - fr ID - PHSC_2004__8_2_105_0 ER -