Works matching IS 09425616 AND DT 1989 AND VI 35 AND IP 5
Results: 13
On Splitting of a Recursive Set with Polynomial Time Minimal Pairs.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 423, doi. 10.1002/malq.19890350508
- By:
- Publication type:
- Article
Recursive Solvability of Problems with Matrices.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 437, doi. 10.1002/malq.19890350510
- By:
- Publication type:
- Article
Parameter-Free Universal Induction.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 443, doi. 10.1002/malq.19890350511
- By:
- Publication type:
- Article
On the End Extension Problem For Δ<sub>0</sub>-PA( S).
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 391, doi. 10.1002/malq.19890350504
- By:
- Publication type:
- Article
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 415, doi. 10.1002/malq.19890350507
- By:
- Publication type:
- Article
A Consistent Higher-Order Theory Without a (Higher-Order) Model.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 385, doi. 10.1002/malq.19890350502
- By:
- Publication type:
- Article
On Absoluteness.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 469, doi. 10.1002/malq.19890350513
- By:
- Publication type:
- Article
A Note on Stahl's Opposite System.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 387, doi. 10.1002/malq.19890350503
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. fmi, doi. 10.1002/malq.19890350501
- Publication type:
- Article
On the Mathematical Content of the Theory of Classes KM.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 399, doi. 10.1002/malq.19890350505
- By:
- Publication type:
- Article
On a Subtheory of the Bernays-Gödel Set Theory.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 413, doi. 10.1002/malq.19890350506
- By:
- Publication type:
- Article
On Lifting of Ω-Operations From the Category of Sets to the Category of Enumerated Sets.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 457, doi. 10.1002/malq.19890350512
- By:
- Publication type:
- Article
A General Constructive Intermediate Value Theorem.
- Published in:
- Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 433, doi. 10.1002/malq.19890350509
- By:
- Publication type:
- Article