Weak logic theory

Publikasjonsdetaljer

  • Journal: Theoretical Computer Science, vol. 79, p. 295–321, Tuesday 1. January 1991
  • Internasjonale standardnumre:
    • Trykt: 0304-3975
    • Elektronisk: 1879-2294