Finally, we look at some further unexplored directions, including the systematic use of quasimodels as a semantics by itself. 키워드지정된 키워드 없음 해결 방법 라이브러리를 통해 유사한 책 및 기사 구성 Alexander Paseau. Pure SecondOrder Logic with SecondOrder Identity.