Search Results - "Bulletin of Symbolic Logic"

Refine Results
  1. 1
    The Bulletin of Symbolic Logic

    The Bulletin of Symbolic Logic by Shore, Richard A.

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389

    Torkel Franzén. Inexhaustibility: a non-exhaustive treatment. Lecture Notes in Logic, vol. 16. Association for Symbolic Logic, A K Peters, Ltd., Wellesley, Massachusetts, 2004, xi + 251 pp. - Torkel Franzén.. Transfinite progressions: a second look at completeness. The Bulletin of Symbolic Logic, vol. 10, no. 3 (2004), pp. 367–389 by Beklemishev, Lev D.

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Sergei N. Artemov. Explicit provability and constructive semantics . The bulletin of symbolic logic, vol. 7 (2001), pp. 1–36

    Sergei N. Artemov. Explicit provability and constructive semantics . The bulletin of symbolic logic, vol. 7 (2001), pp. 1–36 by Avigad, Jeremy D.

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 (1996), pp. 243–283

    Kosta Došen. Deductive completeness. The bulletin of symbolic logic, vol. 2 (1996), pp. 243–283 by Lambek, J.

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 (1995), pp. 468–485

    Michael Rathjen. Recent advances in ordinal analysis: -CA and related systems. The bulletin of symbolic logic, vol. 1 (1995), pp. 468–485 by Carlson, Timothy J.

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 (1996), pp. 159–188

    Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 (1996), pp. 159–188 by Mints, G.

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Wilfried Sieg. Step by recursive step: Church's analysis of effective calculability. The bulletin of symbolic logic, vol. 3 (1997), pp. 154–180

    Wilfried Sieg. Step by recursive step: Church's analysis of effective calculability. The bulletin of symbolic logic, vol. 3 (1997), pp. 154–180 by Shapiro, Stewart

    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Notices: The Bulletin of Symbolic Logic: Call for Papers

    Notices: The Bulletin of Symbolic Logic: Call for Papers

    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    A System of Axioms for Minkowski Spacetime

    A System of Axioms for Minkowski Spacetime by Cocco, Lorenzo, Babic, Joshua

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    On Tarski's Foundations of the Geometry of Solids

    On Tarski's Foundations of the Geometry of Solids by Betti, Arianna, Loeb, Iris

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Relativistic computers and the Turing barrier

    Relativistic computers and the Turing barrier by Németi, István, Dávid, Gyula

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    POUR-EL’S LANDSCAPE

    POUR-EL’S LANDSCAPE by KURAHASHI, TAISHI, VISSER, ALBERT

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND

    POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND by AVRON, ARNON

    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES

    VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES by JEON, HANUL, MATTHEWS, RICHARD

    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    CATEGORICAL QUANTIFICATION

    CATEGORICAL QUANTIFICATION by BRÎNCUŞ, CONSTANTIN C.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS

    ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS by CINTULA, PETR, METCALFE, GEORGE, TOKUDA, NAOMI

    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    BSL volume 30 issue 1 Cover and Front matter

    BSL volume 30 issue 1 Cover and Front matter

    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    BSL volume 30 issue 1 Cover and Back matter

    BSL volume 30 issue 1 Cover and Back matter

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    COMPUTABLY COMPACT METRIC SPACES

    COMPUTABLY COMPACT METRIC SPACES by DOWNEY, RODNEY G., MELNIKOV, ALEXANDER G.

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    Towards Finding a Lattice that Characterizes the -Fickle Recursively Enumerable Turing Degrees

    Towards Finding a Lattice that Characterizes the -Fickle Recursively Enumerable Turing Degrees by Ko, Liling

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: