Computable Skolem functions for true formulae of elementary arithmetic

Simple item page
dc.contributor.authorDyck, Stephen
dc.contributor.departmentDepartment of Mathematics
dc.contributor.facultyFaculty of Arts and Sciences
dc.contributor.institutionAmerican University of Beirut
dc.date1971
dc.date.accessioned2012-06-13T05:49:09Z
dc.date.available2012-06-13T05:49:09Z
dc.date.issued1971
dc.descriptionThesis (M.S.)--Dept. of Mathematics, A.U.B.
dc.format.extent51 leaves cm.
dc.identifier.urihttp://hdl.handle.net/10938/1956
dc.language.isoen
dc.relation.ispartofTheses, Dissertations, and Projects
dc.subject.classificationT:001586 AUBNO
dc.subject.lcshRecursive functions
dc.subject.lcshArithmetic
dc.titleComputable Skolem functions for true formulae of elementary arithmetic
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
t-1586.pdf
Size:
24.32 MB
Format:
Adobe Portable Document Format
Download

Collections

AUB Students' Theses, Dissertations, and Projects