Daniel P. Friedman

Daniel P. Friedman is Professor of Computer Science at Indiana University and coauthor of The Little Schemer (fourth edition), The Reasoned Schemer, The Seasoned Schemer, and Essentials of Programming Languages (third edition), all published by the MIT Press.


The Little Prover
The Little Prover by Friedman, Eastlund 9780262330572