Cover 1

Computability and Logic

Computability and Logic

1980 • 366 pages