Syllabi and qualifying examinations for the Ph. D. in computer science at Stanford University (continued)

Introduction to mathematical logic (3rd ed.)

Introduction to mathematical logic (3rd ed.)

On Ianov's Program Schemata

Journal of the ACM (JACM)

Switching Circuits for Engineers

Switching Circuits for Engineers

Termination of algorithms

Termination of algorithms

Computation: finite and infinite machines

Computation: finite and infinite machines

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

The Mathematical Theory of Context-Free Languages

The Mathematical Theory of Context-Free Languages

Planning a computer system: Project Stretch

Planning a computer system: Project Stretch