---
title: "A Short History of Mechanized Logic: A Memoir"
type: "article"
slug: "a-short-history-of-mechanized-logic-a-memoir"
url: "http://localhost/article/a-short-history-of-mechanized-logic-a-memoir/"
markdown_url: "http://localhost/article/a-short-history-of-mechanized-logic-a-memoir.md"
published_at: "2022-09-14T02:41:11+00:00"
modified_at: "2022-12-11T02:52:47+00:00"
featured_image:
  url: "http://localhost/wp-content/uploads/2022/04/20230809-041332.jpg"
category:
  - name: "CATS Newsletter"
    slug: "cats-newsletter"
    taxonomy: "category"
    url: "http://localhost/category/periodicals/cats-newsletter/"
post_tag:
  - name: "Editorial"
    slug: "editorial"
    taxonomy: "post_tag"
    url: "http://localhost/tag/editorial/"
indiv:
  - name: "Mark Fisher"
    slug: "mark-fisher"
    taxonomy: "indiv"
    url: "http://localhost/indiv/mark-fisher/"
publication_r:
  id: 35941
  title: "CATS Newsletter"
  type: "periodical"
  url: "http://localhost/periodical/cats-newsletter/"
authors: "Mark Fisher"
volume: "10"
issue: "5"
issues_articles:
  - id: 39650
    title: "CATS v10 n5"
    type: "issue"
    url: "http://localhost/issue/cats-v10-n5/"
pages: "6"
pubdate: "October 1992"
archive_link: false
---

# A Short History of Mechanized Logic: A Memoir