John Byrnes (byrnes-j)

Contributions to Philosophie.ch

Bibliography

Sieg, Wilfried and Byrnes, John. 1999a. “Gödel, Turing, and K-Graph Machines.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 57–66. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
Sieg, Wilfried and Byrnes, John. 1999b. “An Abstract Model for Parallel Computations: Gandy’s Thesis.” The Monist 82(1): 150–164.