The Reasoned Schemer, second edition Daniel P. Friedman, William E. Byrd, Oleg Kiselyov E-Book (epub)

Essentials of Programming Languages, third edition Daniel P. Friedman, Mitchell Wand E-Book (epub)

The Little Prover Daniel P. Friedman, Carl Eastlund E-Book (epub)