Works matching IS 00223611 AND DT 1997 AND VI 26 AND IP 3

Results: 5
    1

    Elementary realizability.

    Published in:
    Journal of Philosophical Logic, 1997, v. 26, n. 3, p. 311, doi. 10.1023/A:1017994504149
    By:
    • Damnjanovic, Zlatan
    Publication type:
    Article
    2
    3

    Region-based topology.

    Published in:
    Journal of Philosophical Logic, 1997, v. 26, n. 3, p. 251, doi. 10.1023/A:1017904631349
    By:
    • Roeper, Peter
    Publication type:
    Article
    4

    T x W completeness.

    Published in:
    Journal of Philosophical Logic, 1997, v. 26, n. 3, p. 241, doi. 10.1023/A:1017942520078
    By:
    • Von Kutschera, Franz
    Publication type:
    Article
    5