History and Philosophy of Logic. 1994;15(2):189-199. doi: 10.1080/01445349408837231 N/A0.52025
A note on definability in equational logic
DOI: 10.1080/01445349408837231
摘要
History and Philosophy of Logic. 1994;15(2):189-199. doi: 10.1080/01445349408837231 N/A0.52025
DOI: 10.1080/01445349408837231
摘要