Stål O. Aanderaa (aanderaa)

Contributions to Philosophie.ch

Bibliography

Aanderaa, Stål O. 1971. “On the Decision Problem for Formulas in Which All Disjunctions Are Binary.” in Proceedings of the 2nd Scandinavian Logic Symposion, edited by Jens Erik Fenstad, pp. 1–18. Studies in Logic and the Foundations of Mathematics n. 63. Amsterdam: North-Holland Publishing Co.
Dreben, Burton and Aanderaa, Stål O. 1964. “Herbrand Analyzing Functions.” Bulletin of the American Mathematical Society 70: 697–698.