1. Addis College
  2. Digital Library
  3. Computer Science
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/8380
Title: ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS TO FORMAL SYSTEMS
Authors: Kripke, Saul
Issue Date: 1996
URI: http://localhost:8080/xmlui/handle/123456789/8380
Appears in Collections:Computer Science

Files in This Item:
File Description SizeFormat 
ELEMENTARY RECURSION THEORY AND ITS APPLICATIONS.pdf694.68 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.