From Logic to Computers (Computer Science Texts) - Thewlis, P.J.

A Network Orange: Logic and Responsibility in the Computer Age - GOOD

Theoretical Aspects of Object-Oriented Programming Carl A. Gunter 1994 Hardcover

Denotational Semantics: The Scott-Strachey Approach to Programming Language...

ACTION SEMANTICS (CAMBRIDGE TRACTS IN THEORETICAL COMPUTER By Peter D. Mosses VG

Intensive Family Therapy: Theoretical And Practical Aspects by 15 Authors~ HCDJ

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Handbook of Stress : Theoretical and Clinical Aspects Hardcover