Logic Library

Type of document: Article

Language: English

Author(s): Ehrenfeucht, A.; Feferman, S.

Title: Representability of Recursively Enumerable Sets in Forma Theories

Year: 1959

Source: Archiv Für Mathematische Logik Und Grundlagenforschung

Pages: 37-41

The Group in Logic and the Methodology of Science at the University of California, Berkeley maintains an extensive collection of reprints, dissertations, project reports, course and seminar notes, and other materials not readily available elsewhere. These items, now numbering about 5,000, as well as a small collection of key texts, monographs, and journals, are available in the Alfred Tarski Room (727 Evans Hall) for use by faculty and graduate students.

If you notice mistakes, please notify the Curator of the Logic Library: steel (at) math (dot) berkeley (dot) edu

Logic Group | UC Berkeley | College of Letters & Science

Logic Library

Group in Logic and the Methodology of Science University of California, Berkeley

Group in Logic and the Methodology of Science
University of California, Berkeley