Egon Börger (boerger-e)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Börger, Egon. 1974. “La Sigma 3-complétude de l’ensemble des types de réduction.” Logique et Analyse 17(65–66): 89–94.
Börger, Egon. 1987. Computation Theory and Logic. Berlin: Springer.
Börger, Egon, ed. 1988. Trends in Theoretical Computer Science. Rockville, Maryland: Computer Science Press, Inc.
Börger, Egon. 1989. Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics n. 128. Amsterdam: North-Holland Publishing Co.
Börger, Egon. 1992. “Complexity of Logical Decision Problems: An Introduction.” in Bridging the Gap: Philosophy, Mathematics and Physics. Lectures on the Foundations of Science, edited by Giovanna Corsi, Maria Luisa Dalla Chiara, and Giancarlo C. Ghirardi, pp. 71–86. Boston Studies in the Philosophy of Science n. 140. Dordrecht: Kluwer Academic Publishers.
Börger, Egon. 1995. Specification and Validation Methods. Oxford: Oxford University Press.