James L. Hein

Discrete structures, logic, and computability

James L. Hein, James Hein, 1994 .

Theory of computation: an introduction

James L. Hein, 1996 .

A declarative laboratory approach for discrete structures, logic, and computability

James L. Hein, 1993, SGCS.

Discrete Structures, Logic, and Computability , Second Edition

James L. Hein, 2002 .