vol. VI Pag.178 - Da FORMALIZZANTE a FORMALMENTE (1 risultato)

si fanno derivare formule che risultino trasformazioni tautologiche del gruppo di assiomi (viene applicato

vol. XIV Pag.590 - Da PROMETTERE a PROMETTITORE (1 risultato)

il programma diceva cose affatto generiche e tautologiche, o avrebbe preso impegni simili o