Fundamental Proof Methods in Computer Science: A Computer-Based Approach, Arkoud

Fundamental Proof Methods in Computer Science by David R. Musser and Konstantine

Quantum Physics : A Fundamental Approach to Modern Physics by John S. Townsend

Fundamental Proof Methods in Computer Science : A Computer-Based Approach, Ha...

Lecture Notes in Computer Science Ser.: Fundamental Approaches to Software...

Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Kons

Reinforced Concrete: A Fundamental Approach (5th Edition)