View of Deciding set-theoretic formulae with the predicate 'finite' by a tableau calculus

Return to Article Details Deciding set-theoretic formulae with the predicate 'finite' by a tableau calculus Download Download PDF