CITATION STYLE
Salwicki, A. (1977). Algorithmic Logic, a Tool for Investigations of Programs. In Logic, Foundations of Mathematics, and Computability Theory (pp. 281–295). Springer Netherlands. https://doi.org/10.1007/978-94-010-1138-9_15
Mendeley helps you to discover research relevant for your work.