Weak logic theory

Publication details

  • Journal: Theoretical Computer Science, vol. 79, p. 295–321, Tuesday 1. January 1991
  • International Standard Numbers:
    • Printed: 0304-3975
    • Electronic: 1879-2294