[Contemporary Mathematics] Computability Theory and Its Applications Volume 257 || Finitely axiomatizable theories and Lindenbaum algebras of semantic classes
Cholak, Peter A., Lempp, Steffen, Lerman, Manuel, Shore, Richard A.Volume:
10.1090/co
Year:
2000
Language:
english
DOI:
10.1090/conm/257/04038
File:
PDF, 1.96 MB
english, 2000