1 book • 2 series
Fundamental Proof Methods in Computer Science (The MIT Press) (Fundamental Proof Methods in Computer Science)