Works matching IS 02190613 AND DT 2002 AND VI 2 AND IP 2
Results: 3
On the Definability of the Double Jump in the Computably Enumerable Sets.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 2, p. 261, doi. 10.1142/S0219061302000151
- By:
- Publication type:
- Article
The Lindenbaum Algebra of the Theory of the Class of all Finite Models.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 2, p. 145, doi. 10.1142/S0219061302000163
- By:
- Publication type:
- Article
Optimal Proofs of Determinacy II.
- Published in:
- Journal of Mathematical Logic, 2002, v. 2, n. 2, p. 227, doi. 10.1142/S0219061302000175
- By:
- Publication type:
- Article