Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Reverse Mathematics and Completeness Theorems for Intuitionistic Logic

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
Read More Add to Saved list
  • Author(s): Yamazaki, Takeshi
  • Source:
    Notre Dame Journal of Formal Logic ; volume 42, issue 3 ; ISSN 0029-4527
  • Document Type:
    article in journal/newspaper
  • Language:
    unknown
  • Additional Information
    • Publication Information:
      Duke University Press
    • Publication Date:
      2001
    • Accession Number:
      10.1305/ndjfl/1063372197
    • Online Access:
      https://doi.org/10.1305/ndjfl/1063372197
      http://dx.doi.org/10.1305/ndjfl/1063372197
      https://projecteuclid.org/journalArticle/Download?urlid=10.1305/ndjfl/1063372197
    • Accession Number:
      edsbas.524FF87B