Books received.
- Published in:
- 1990
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1990 AND VI 49 AND IP 1
Results: 12
1
2
On a complexity-based way of constructivizing the recursive functions.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 133, doi. 10.1007/BF00401559
- By:
- Publication type:
- Article
3
Extending Montague's system: a three valued intensional logic.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 127, doi. 10.1007/BF00401558
- By:
- Publication type:
- Article
4
Nelson algebras through Heyting ones: I.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 105, doi. 10.1007/BF00401557
- By:
- Publication type:
- Article
5
Definite descriptions.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 87, doi. 10.1007/BF00401556
- By:
- Publication type:
- Article
6
Semantic Holism is seriously false.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 83, doi. 10.1007/BF00401555
- By:
- Publication type:
- Article
7
Semantic holism.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 67, doi. 10.1007/BF00401554
- By:
- Publication type:
- Article
8
Variations on da Costa C Systems and dual-intuitionistic logics I. Analyses of C and CC.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 47, doi. 10.1007/BF00401553
- By:
- Publication type:
- Article
9
The Priestley duality for Wajsberg algebras.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 31, doi. 10.1007/BF00401552
- By:
- Publication type:
- Article
10
Some new double induction and superinduction principles.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 23, doi. 10.1007/BF00401551
- By:
- Publication type:
- Article
11
Decidable and enumerable predicate logics of provability.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 7, doi. 10.1007/BF00401550
- By:
- Publication type:
- Article
12
The Gärdenfors impossibility theorem in non-monotonic contexts.
- Published in:
- Studia Logica, 1990, v. 49, n. 1, p. 1, doi. 10.1007/BF00401549
- By:
- Publication type:
- Article