The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION

The work

AuthorsR. A. G. Seely
Editors
Typemisc
Year1983
Also known asanon1983hyperdoctrines
Citekeyseely1983hyperdoctrines

Where it appeared

PublisherWiley

How it got here

How it got hereagent via unpaywall
Added2026-10-25 07:33 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{seely1983hyperdoctrines,
  title        = {HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION},
  author       = {R. A. G. Seely},
  year         = {1983},
  publisher    = {Wiley},
  doi          = {10.1002/malq.19830291005},
}

This record lives at https://refs.drheap.org/seely1983hyperdoctrines/ and will keep doing so. It used to be called anon1983hyperdoctrines, and those addresses still resolve to this one.