共 50 条
- [6] COMPLETENESS AND MODEL COMPLETENESS IN FUHRKENS LANGUAGE .2. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (06): : 964 - &
- [9] Completeness theorems and λ-calculus TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 1 - 9