APA Citation

Friedman, D. P., Bibby, D., Moore, J. S., & Felleisen, M. (2015). The little prover / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen: Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. Cambridge, Massachusetts: MIT Press.

Chicago Style Citation

Friedman, Daniel P.,, Duane Bibby, J Strother Moore, and Matthias Felleisen. The Little Prover / Daniel P. Friedman and Carl Eastlund ; Drawings By Duane Bibby ; Foreword By J. Strother Moore ; Afterword By Matthias Felleisen: Daniel P. Friedman and Carl Eastlund ; Drawings By Duane Bibby ; Foreword By J. Strother Moore ; Afterword By Matthias Felleisen. Cambridge, Massachusetts: MIT Press, 2015.

MLA Citation

Friedman, Daniel P.,, Duane Bibby, J Strother Moore, and Matthias Felleisen. The Little Prover / Daniel P. Friedman and Carl Eastlund ; Drawings By Duane Bibby ; Foreword By J. Strother Moore ; Afterword By Matthias Felleisen: Daniel P. Friedman and Carl Eastlund ; Drawings By Duane Bibby ; Foreword By J. Strother Moore ; Afterword By Matthias Felleisen. Cambridge, Massachusetts: MIT Press, 2015.

Warning: These citations may not always be 100% accurate.