Type of document: Typescript

Language: English

Author(s): Isard, S.

Title: A Finitely Axiomatizable Undecidable Extension of K

Year:

Pages: 1-11

Comments: Received 1973

Catalog