Titlebook: Epistemology, Knowledge and the Impact of Interaction; Juan Redmond,Olga Pombo Martins,ángel Nepomuceno F Book 2016 Springer International

謊言

On the Computational Meaning of Axiomstion of syntax is necessary. This leads to a general kind of proof theory, where the objects of study are not typed objects like deductions, but rather untyped ones, in which formulas are replaced by geometrical configurations.