Report copyright - Definiciones implícitas y unicidad en el programaneologicista · algunos axiomas y/o reglas a un sistema deductivo usual de primer orden. Llamemos D2 a tal sistema. D2 tiene reglas
Please pass captcha verification before submit form