Abstraction Logic (Founder's Edition): A New Foundation for Reasoning, Computing
56,93 €
Abstraction logic is a new logic combining exceptional simplicity with astonishing generality. It combines the best features of first-order logic and higher-order logic, while avoiding their respective drawbacks.
Jetzt bei Ebay:
