Some results on bounded truth-table degrees.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 263, doi. 10.1002/malq.19900360311
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 3
Results: 12
1
2
On the absoluteness of types in boolean valued lattices.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 241, doi. 10.1002/malq.19900360308
- By:
- Publication type:
- Article
3
Cloture intervallaire et extension logique d'une relation.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 217, doi. 10.1002/malq.19900360304
- By:
- Publication type:
- Article
4
The t-variable method in gentzen-style automatic theorem proving.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 253, doi. 10.1002/malq.19900360310
- By:
- Publication type:
- Article
5
Modal logics with n-ary connectives.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 193, doi. 10.1002/malq.19900360303
- By:
- Publication type:
- Article
6
An omniscience principle, the König Lemma and the Hahn-Banach theorem.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 237, doi. 10.1002/malq.19900360307
- By:
- Publication type:
- Article
7
Relativized Gödel speed-up and the degree of succinctness of representations.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 185, doi. 10.1002/malq.19900360302
- By:
- Publication type:
- Article
8
Effective extensions of partial orders.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 233, doi. 10.1002/malq.19900360306
- By:
- Publication type:
- Article
9
Premiss tree proofs and logic of contradiction.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 273, doi. 10.1002/malq.19900360312
- By:
- Publication type:
- Article
10
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. fmi, doi. 10.1002/malq.19900360301
- Publication type:
- Article
11
A note on complete partitions in boolean algebras.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 229, doi. 10.1002/malq.19900360305
- By:
- Publication type:
- Article
12
A constructive version of Sperner's lemma and Brouwer's fixed point theorem.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 247, doi. 10.1002/malq.19900360309
- By:
- Publication type:
- Article