Witness Theory: Notes on & #955;-calculus and Logic by Adrian Rezu & #351;
22,97 €
This book is concerned with the mathematical analysis of the concept of formal proof in classical logic, and records - in substance - a longer exercise in applied λ-calculus. Formally, a witness is generated from decorated - or `typed' - witness variables, representing assumptions, and witness operators, representing logical rules of inference.
Jetzt bei Ebay:
