Artifact Details

Title

Translations of Goedels 46 Function Definitions into LISP

Catalog Number

102719198

Type

Document

Description

Also "Some ways to think about Goedel's Proof."

Date

1982

Author

Hofstadter, Douglas R.

Extent

1 folder

Category

Technical Report

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010