谓词演算

Bedeutungen

[1] S Prädikatrechnung n

wèi cí yǎn suàn ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ