Friedman, D. P., Eastlund, C., Bibby, D., Moore, J. S., & Felleisen, M. (2015). The little prover. The MIT Press.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma Chicago
Friedman, Daniel P., Carl Eastlund, Duane Bibby, J. Strother Moore, and Matthias Felleisen. The Little Prover. Cambridge, Massachusetts ; London, [England]: The MIT Press, 2015.
Successfully copied to clipboard
Copying to clipboard failed
Citação norma MLA
Friedman, Daniel P., et al. The Little Prover. The MIT Press, 2015.
Successfully copied to clipboard
Copying to clipboard failed
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.