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 Probability: A Computational Approach by Marc S. Paolella (English)

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

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

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