Skip to main content
kkkk's user avatar
kkkk's user avatar
kkkk's user avatar
kkkk
  • Member for 3 years, 10 months
  • Last seen more than 3 years ago
0 votes
0 answers
203 views

union and intersection of effectively enumerable sets

0 votes
1 answer
36 views

Functional and relational inductive set

1 vote
1 answer
67 views

Finite satisfiability and Zorn's lemma

0 votes
1 answer
569 views

finite satisfiability

0 votes
1 answer
32 views

Proving compactness theorem by an unusual way [closed]

0 votes
1 answer
86 views

tautological implication and deduction

0 votes
1 answer
223 views

finite satisfiability and truth assignment

2 votes
0 answers
72 views

Decidability and effective enumerability