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

Decidability and effective enumerability

1 vote
1 answer
67 views

Finite satisfiability and Zorn's lemma

0 votes
1 answer
36 views

Functional and relational inductive set

0 votes
0 answers
202 views

union and intersection of effectively enumerable sets

0 votes
1 answer
223 views

finite satisfiability and truth assignment

0 votes
1 answer
85 views

tautological implication and deduction

0 votes
1 answer
563 views

finite satisfiability

0 votes
1 answer
32 views

Proving compactness theorem by an unusual way [closed]