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.

From LCF to HOL: A Short History

The work

AuthorsMike Gordon
Editors
Typeincollection
Year2000
Citekeygordon2000lcf

Where it appeared

PublisherThe MIT Press
Pages169--186

Identifiers

DOI10.7551/mitpress/5641.003.0012
OpenAlexW3151527711

Access

Landing pagehttps://doi.org/10.7551/mitpress/5641.003.0012

How it got here

How it got hereagent via openalex
Added2026-10-24 12:26 UTC
Not denied bya person 2026-10-29 17:12 UTC

Filed under

gordon what-one-proves-with

Cite it as

@incollection{gordon2000lcf,
  title        = {From LCF to HOL: A Short History},
  author       = {Mike Gordon},
  year         = {2000},
  publisher    = {The MIT Press},
  pages        = {169--186},
  doi          = {10.7551/mitpress/5641.003.0012},
}

This record lives at https://refs.drheap.org/gordon2000lcf/ and will keep doing so.