second-order_predicate_calculus Copy: has NO comma Hide Show Full text search for "second-order_predicate_calculus" Search BackLinks only Display context of search results Case-sensitive searching 술어,predicate . . . . 4 matches Found 1 matching page out of 2018 total pagesShow Context.You can also click here to search title.