Talk:Second order predicate calculus

From Free net encyclopedia