Constituents and finite identifiability
From MaRDI portal
Publication:2550383
DOI10.1007/BF00649990zbMath0231.02062MaRDI QIDQ2550383
Publication date: 1972
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03C40: Interpolation, preservation, definability
Cites Work