Search Results

Logic in Computer Science: Modelling and Reasoning About Systems

Michael Huth

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science: San Cruz, California June 22-25, 1992 (Symposium on Login in Computer Science Proceedings)

Symposium on Logic in Computer Science

Logic in Computer Science 2001: 16th Annual IEEE Symposium, 16-19 June 2001, Boston, Massachusetts

Symposium on Logic in Computer Science

Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover Books on Computer Science)

Jean H. Gallier

Logics for Computer Science

Arindama Singh

Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)

Abramsky S

Essential Logic for Computer Science (Mit Press)

Rex L. Page

Handbook of Logic in Computer Science 5

Samson Abramsky

Handbook of Logic in Computer Science: Volume 3: Semantic Structures

Samson Abramsky

Linear Logic in Computer Science

Thomas Ehrhard

Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications

Yves Nievergelt

Boolean Logic for Babies (Computer Science for Babies Book 1)

Eric Redmond

Logics for Computer Science: Classical and Non-Classical

Anita Wasilewska

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science Book 58)

Stéphane Demri

Mathematical Logic For Computer Science (2Nd Edition) (World Scientific Computer Science)

Lu Zhongwan

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Samson Abramsky

Logic for Computer Science (International Computer Science Series)

Steve Reeves

Handbook of Logic in Computer Science, Volume 4

Samson Abramsky

Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Thierry Scheurer