Ghosh - Sequential Logic Testing and Verification - New paperback or s - X555z

Sequential Logic Testing And Verification Circuit Design Newton Ghosh Devadas

Kowalski - Computational Logic and Human Thinking - New hardback or ca - X555z

Ghosh - Sequential Estimation - New hardback or cased book - X555z

Gabbay - Mediaeval and Renaissance Logic - New hardback or cased book - X555z

Clifford - Tense and Tense Logic - New hardback or cased book - X555z

Peters - Quantifiers in Language and Logic - New hardback or cased boo - X555z

Bauer - Logic and Algebra of Specification - New hardback or cased boo - X555z