Type of document: Dissertation

Language: English

Author(s): Aanderaa, Stål Olav

Title: A New Undecidable Problem With Application in Logic

Year: 1966

Pages: 1-69

Publisher: HARVARD UNIVERSITY

Place of publication: CAMBRIDGE, MASSACHUSETTES

Catalog