The Undecidability of Iterated Modal Relativization.
- Published in:
- Studia Logica, 2005, v. 79, n. 3, p. 373, doi. 10.1007/s11225-005-3612-9
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2005 AND VI 79 AND IP 3
Results: 4
1
2
Book Review: IGOR LAVROV, LARISA MAKSIMOVA, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, US$141.00, pp. xii + 282, ISBN 0-306-47712-2, hardbound.
- Published in:
- Studia Logica, 2005, v. 79, n. 3, p. 409, doi. 10.1007/s11225-005-3613-8
- By:
- Publication type:
- Article
3
Semantic Analysis of some Variants of Anderson-like Ontological Proofs.
- Published in:
- Studia Logica, 2005, v. 79, n. 3, p. 317, doi. 10.1007/s11225-005-3610-y
- By:
- Publication type:
- Article
4
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory.
- Published in:
- Studia Logica, 2005, v. 79, n. 3, p. 357, doi. 10.1007/s11225-005-3611-x
- By:
- Publication type:
- Article