Books received.
- Published in:
- 1991
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1991 AND VI 50 AND IP 1
Results: 12
1
2
Predicate provability logic with non-modalized quantifiers.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 149, doi. 10.1007/BF00370393
- By:
- Publication type:
- Article
3
The Lindenbaum fixed point algebra is undecidable.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 143, doi. 10.1007/BF00370392
- By:
- Publication type:
- Article
4
Some unifying fixed point principles.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 129, doi. 10.1007/BF00370391
- By:
- Publication type:
- Article
5
Provability logics for natural turing progressions of arithmetical theories.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 107, doi. 10.1007/BF00370390
- By:
- Publication type:
- Article
6
The formalization of Interpretability.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 81, doi. 10.1007/BF00370389
- By:
- Publication type:
- Article
7
Rosser orderings and free variables.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 71, doi. 10.1007/BF00370388
- By:
- Publication type:
- Article
8
On the proof of Solovay's theorem.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 51, doi. 10.1007/BF00370387
- By:
- Publication type:
- Article
9
Explicit Fixed Points in Interpretability Logic.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 39, doi. 10.1007/BF00370386
- By:
- Publication type:
- Article
10
Some independence results in interpretability logic.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 29, doi. 10.1007/BF00370385
- By:
- Publication type:
- Article
11
A note on the normal form of closed formulas of interpretability logic.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 25, doi. 10.1007/BF00370384
- By:
- Publication type:
- Article
12
Provability: the emergence of a mathematical modality.
- Published in:
- Studia Logica, 1991, v. 50, n. 1, p. 1, doi. 10.1007/BF00370383
- By:
- Publication type:
- Article