Logic and Language Models for Computer Science Dana, Hamburger, H

Logic and Language Models for Compu- paperback, Henry Hamburger, 0130654876, new

Logic and Language Models for Computer Science

Logic in Computer Science: Modelling and Reasoning about Systems by M. Huth

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985

Logic And Language Models For Computer Science (Third Edition)

Logic in Computer Science : Modelling and Reasoning about Systems PB