TY - JOUR AU - Genitrini, Antoine AU - Kozik, Jakub AU - Matecki, Grzegorz TI - On the density and the structure of the Peirce-like formulae JO - Discrete mathematics & theoretical computer science PY - 2008 VL - DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3584/ DO - 10.46298/dmtcs.3584 LA - en ID - DMTCS_2008_special_254_a30 ER -