Effectively decidable theories

Name: Effectively decidable theories
Author: Alan Cobham

by Alan Cobham · 1 review · 1966

Reviewed by	Journal	Date	Access
Ann M. Singleterry	The Journal of Symbolic Logic	1966	Restricted