• Title of article

    Separations of theories in weak bounded arithmetic Original Research Article

  • Author/Authors

    Gaisi Takeuti، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1995
  • Pages
    21
  • From page
    47
  • To page
    67
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    1995
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    896219