Volume 1, Issue 4, 1985

ISSN: 0168-7433 (Print) 1573-0670 (Online)

In this issue (6 articles)

  1. No Access

    OriginalPaper

    Towards mechanical metamathematics

    N. Shankar Pages 407-434
  2. No Access

    Announcement

    Announcement

    Page 441