CITATION STYLE
Mathematical Logic, Induction, Proofs. (2006). In Computation Engineering (pp. 73–92). Springer US. https://doi.org/10.1007/0-387-32520-4_5
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley