Zeugentheorie: Anmerkungen zu & #955;-Kalkül und Logik von Adrian Rezu & #351;
21,08 €
Formally, a witness is generated from decorated - or `typed' - witness variables, representing assumptions, and witness operators, representing logical rules of inference. Among other things, it includes a survey of the origins of modern proof theory - Frege to Gentzen - from a witness-theoretical point of view, as well as a characteristic application of witness theory to a practical logic problem concerning axiomatisability.
Jetzt bei Ebay:
