Undecidable theories.
In collaboration with Andrzej Mostowski and Raphael M. Robinson.

Description

Viewability

Item Link Original Source
Limited (search only)   University of Michigan