A. Salwicki (salwicki)

Contributions to Philosophie.ch

Bibliography

Salwicki, A. 1977. “Algorithmic Logic, a Tool for Investigations of Programs.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 281–295. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.