Logic in Computer Science Vol.4 Semantic Modelling HC Abramsky Gabbay Maibaum

Handbook of Logic in Computer Science: Volume 4: Semantic Modelling by

The Semantic Foundations of Logic Richard L. Epstein SET Predicate Logic & Prop

Handbook of Logic in Computer Science: Volume 2. Background: Computational Struc

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantic...

Handbook of Logic in Computer Science : Semantic Modelling, Hardcover by Abra...

Mathematical Logic For Computer Science (2nd Edition) by Zhongwan Lu (English) H