Three theorems on elementary theories and tt-reducibility (1974)

by S D Denisov
Venue:Algebra and Logic