Development (1) Assaying (1) Notions (Philosophy) (1) Vision (1) Type theory (1) Trees (1) Soap (1) Set theory (1) Pumped storage power plants (1) Proof theory (1) Numbers, Ordinal (1) Hand (1) Concepts (1) Universe (1) Technique (1) Analysis (1) Generic programming (Computer science) (1) Prueba, Teoría de la (1) Manos (1) Conceptos (1) Vista (1) Conjuntos, Teoría de (1) Árboles (1) Analyse (1) Vue (1) Programme (1) Morphologie (1) Mathématiques (1) Programmation générique (1) Théorie des ensembles (1)